diff --git a/mininet/clean.py b/mininet/clean.py index bc9d375ab3ba7786fd88f2115d85b01b04be1720..4cfc5473f31a5d1684b0c961bd75f2130972ea3c 100755 --- a/mininet/clean.py +++ b/mininet/clean.py @@ -16,6 +16,7 @@ from mininet.log import info from mininet.term import cleanUpScreens + def sh( cmd ): "Print a command and send it to the shell" info( cmd + '\n' ) @@ -32,7 +33,7 @@ def killprocs( pattern ): pids = '' if pids: sh( 'pkill -f 9 mininet:' ) - sleep( .5 ) + time.sleep( .5 ) else: break @@ -49,7 +50,7 @@ def cleanup(): # you can't connect to them either, so they're mostly harmless. # Send SIGTERM first to give processes a chance to shutdown cleanly. sh( 'killall ' + zombies + ' 2> /dev/null' ) - time.sleep(1) + time.sleep( 1 ) sh( 'killall -9 ' + zombies + ' 2> /dev/null' ) # And kill off sudo mnexec