Index: tools/wleiden.pl
===================================================================
--- tools/wleiden.pl	(revision 2989)
+++ tools/wleiden.pl	(revision 2990)
@@ -808,4 +808,5 @@
 
 #ifconfig_lo0_alias0="inet $master_ip/32"
+ifconfig_lo0_alias0="inet 172.31.255.1/32"
 EORC1