[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
2013-01-29 23:54:41 +01:00 · 2013-01-29 23:54:41 +01:00 · f03ee193ef
commit f03ee193ef
parent cc94747a02
1 changed files with 4 additions and 0 deletions
--- 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 = """