diff --git a/mininet/node.py b/mininet/node.py index 8f80a88..8e91c6e 100644 --- a/mininet/node.py +++ b/mininet/node.py @@ -1385,6 +1385,10 @@ class Controller( Node ): self.command = command self.cargs = cargs self.cdir = cdir + # Accept 'ip:port' syntax as shorthand + if ':' in ip: + ip, port = ip.split( ':' ) + port = int( port ) self.ip = ip self.port = port self.protocol = protocol