Index: nodes/proxy12/wleiden.conf
===================================================================
--- nodes/proxy12/wleiden.conf	(revision 8337)
+++ nodes/proxy12/wleiden.conf	(revision 9308)
@@ -17,4 +17,5 @@
 $status='up';
 $release="8.0-RELEASE";
+$ileiden='yes';
 $X='111998';
 $Y='474286';