From 17ba6a7c4d8a1f653daeff11973f8efa6a8a633b Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Wed, 4 Feb 2015 11:16:42 -0800
Subject: [PATCH] Add ip:port shorthand to Controller

Fixes #475
---
 mininet/node.py | 4 ++++
 1 file changed, 4 insertions(+)

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