Index: nodes/proxy4/wleiden.conf
===================================================================
--- nodes/proxy4/wleiden.conf	(revision 6586)
+++ nodes/proxy4/wleiden.conf	(revision 6587)
@@ -8,5 +8,5 @@
 # WAN: 82.215.33.247, gateway 82.215.32.1
 
-$master_ip='172.20.140.1';  
+$master_ip='172.20.140.4';  
 $gw_open='closed';
 $nodetype='Proxy';
Index: nodes/proxy5/wleiden.conf
===================================================================
--- nodes/proxy5/wleiden.conf	(revision 6586)
+++ nodes/proxy5/wleiden.conf	(revision 6587)
@@ -7,5 +7,5 @@
 # nameservers: 217.149.192.6 en 217.149.196.6
 
-$master_ip='172.20.140.1';  
+$master_ip='172.20.140.5';  
 $gw_open='closed';
 $nodetype='Proxy';