Index: /nodes/CNodeVosko1/wleiden.conf
===================================================================
--- /nodes/CNodeVosko1/wleiden.conf	(revision 7566)
+++ /nodes/CNodeVosko1/wleiden.conf	(revision 7567)
@@ -16,5 +16,5 @@
 $DISK='FLASH';
 #tproxy (tijdelijk) niet geconfigureerd
-#$tproxy='172.17.174.64/28';
+$tproxy='172.17.174.64/28';
 $status='up';
 $labelpos='left';