From 8e63e2c54019896e0413b29fc1b243ad4d69a99c Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Sun, 23 Nov 2014 11:10:43 -0800
Subject: [PATCH] Fix undefined sleep()
---
mininet/clean.py | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/mininet/clean.py b/mininet/clean.py
index bc9d375a..4cfc5473 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
--
GitLab