Index: tools/getrange.py
===================================================================
--- tools/getrange.py	(revision 9514)
+++ tools/getrange.py	(revision 9516)
@@ -34,6 +34,9 @@
 			if match != None:
 				substs[match.group(1)] = match.group(2)
-			if l.startswith("IP="):
-				right = l[3:]
+			if l.startswith("IP=") or l.startswith("$master_ip="):
+				if l.startswith("$master_ip="):
+					right = l.split("'")[1]
+				else:
+					right = l[3:]
 				if '/' not in right:
 					addr = right