Index: nodes/testnodefactory/wleiden.conf
===================================================================
--- nodes/testnodefactory/wleiden.conf	(revision 4998)
+++ nodes/testnodefactory/wleiden.conf	(revision 6387)
@@ -35,6 +35,4 @@
 DHCP=no
 
-OSPF_BROADCAST=no
-OSPF_NEIGHBORS=no
 
 ED0
@@ -51,6 +49,4 @@
 DHCP=10-60
 
-OSPF_BROADCAST=no
-OSPF_NEIGHBORS=no
 
 MODE=master
@@ -78,6 +74,4 @@
 DHCP=10-60
 
-OSPF_BROADCAST=no
-OSPF_NEIGHBORS=no
 
 MODE=master
@@ -105,6 +99,4 @@
 DHCP=10-60
 
-OSPF_BROADCAST=no
-OSPF_NEIGHBORS=no
 
 MODE=master
@@ -132,6 +124,4 @@
 DHCP=10-60
 
-OSPF_BROADCAST=no
-OSPF_NEIGHBORS=no
 
 MODE=master