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

2013-07-09 15:49:57 -07:00
parent 5c019d2aef 679a3f1915
commit 7265e2e88c
1 changed files with 2 additions and 0 deletions
@@ -107,6 +107,8 @@ info( '* Stopping Data Network\n' )
 net.stop()

 info( '* Stopping Control Network\n' )
+# dataControllers have already been stopped
+cnet.hosts = list( set( cnet.hosts ) - set( dataControllers ) )
 cnet.stop()