Changeset 9516 in genesis

Timestamp:

Aug 9, 2011, 8:54:54 PM (13 years ago)

Author:

rick

Message:

Do not forget about the master_ip which is still used, even if not defined in interface config.

File:

• tools/getrange.py (modified) (1 diff)

tools/getrange.py

@@ -34 +34 @@
                         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