Index: nodes/CNodeVosko1/wleiden.conf
===================================================================
--- nodes/CNodeVosko1/wleiden.conf	(revision 7279)
+++ nodes/CNodeVosko1/wleiden.conf	(revision 7316)
@@ -15,5 +15,6 @@
 $OS='FreeBSD';
 $DISK='FLASH';
-$tproxy='172.17.174.64/28';
+#tproxy (tijdelijk) niet geconfigureerd
+#$tproxy='172.17.174.64/28';
 $status='up';
 $labelpos='left';