Changed port to int type (was string, which caused %d not to work in node.py.)

2010-06-16 12:15:29 -07:00
parent 3b48e82990
commit 68f5925ed6
1 changed files with 1 additions and 1 deletions
@@ -167,7 +167,7 @@ class MininetRunner( object ):
        opts.add_option( '--ip', type='string', default='127.0.0.1',
                        help='[ip address as a dotted decimal string for a'
                        'remote controller]' )
-        opts.add_option( '--port', type='string', default=6633,
+        opts.add_option( '--port', type='int', default=6633,
                        help='[port integer for a listening remote'
                        ' controller]' )
        opts.add_option( '--inNamespace', action='store_true',