From f03ee193ef87a8996ecad2a289c6f48c01d280a0 Mon Sep 17 00:00:00 2001 From: Valentin Samir Date: Tue, 29 Jan 2013 23:54:41 +0100 Subject: [PATCH] [dhcpd_new] Si le serveur n'est pas un dhcp, on ne fait rien au lieu de cracher Ignore-this: 516ff478d2ac2d3af213c04d63ec99d1 darcs-hash:20130129225441-3a55a-66b6449471f12c81b1245876ff95e0d55292accf.gz --- gestion/gen_confs/dhcpd_new.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/gestion/gen_confs/dhcpd_new.py b/gestion/gen_confs/dhcpd_new.py index bcb75fcf..675f2cce 100755 --- a/gestion/gen_confs/dhcpd_new.py +++ b/gestion/gen_confs/dhcpd_new.py @@ -88,7 +88,11 @@ class dhcp(gen_config) : '10.42.0.0/16' : '/etc/dhcp3/generated/gratuit.liste', '10.2.9.0/24' : '/etc/dhcp3/generated/appartements.liste', '138.231.144.0/21' : '/etc/dhcp3/generated/wifi.liste' } + else: + restart_cmd = '' + reseaux = {} dhcplease='/var/lib/dhcp/dhcpd.leases' + host_template = """