From 68f5925ed62eb3defd8ccd7e1fe531d1a37d32cd Mon Sep 17 00:00:00 2001 From: Bob Lantz Date: Wed, 16 Jun 2010 12:15:29 -0700 Subject: [PATCH] Changed port to int type (was string, which caused %d not to work in node.py.) --- bin/mn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/mn b/bin/mn index 63d9333..1fca885 100755 --- a/bin/mn +++ b/bin/mn @@ -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',