Index: nodes/proxy6/wleiden.conf
===================================================================
--- nodes/proxy6/wleiden.conf	(revision 6808)
+++ nodes/proxy6/wleiden.conf	(revision 6809)
@@ -7,5 +7,5 @@
 # nameservers: 
 
-$master_ip=' ';
+$master_ip='172.16.3.146';
 $gw_open='closed';
 $nodetype='Proxy';
@@ -37,5 +37,5 @@
 $config{'xl1'}=sprintf <<XL1;  # Ethernet
 TYPE=ethernet
-IP=172.16.3.146/28
+IP=$master_ip/28
 ROUTE=172.16.0.0/12 172.16.3.145/28