Merge branch 'master' of github.com:mininet/mininet

2013-09-16 23:59:06 -07:00
parent 895ff6f452 fce7f5c56b
commit 47b24beb6c
3 changed files with 59 additions and 14 deletions
@@ -1090,6 +1090,7 @@ class IVSSwitch(Switch):
            args.extend( ['-c', '%s:%d' % (c.IP(), c.port)] )
        if self.listenPort:
            args.extend( ['--listen', '127.0.0.1:%i' % self.listenPort] )
+        args.append( self.opts )

        logfile = '/tmp/ivs.%s.log' % self.name