From 0d39f11034b2d28cf68c5cc7a0d888fa0ea4ef18 Mon Sep 17 00:00:00 2001
From: Cody Burkard <cody@onlab.us>
Date: Mon, 16 Jun 2014 17:39:24 -0700
Subject: [PATCH] added code to kill stale mininet processes
---
mininet/clean.py | 14 ++++++++++++++
1 file changed, 14 insertions(+)
diff --git a/mininet/clean.py b/mininet/clean.py
index 675c7d7e..9b0d6aa8 100755
--- a/mininet/clean.py
+++ b/mininet/clean.py
@@ -69,4 +69,18 @@ def cleanup():
if link:
sh( "ip link del " + link )
+ info( "*** Killing stale mininet node processes\n" )
+ sh( 'pkill -9 -f mininet:' )
+ # Make sure they are gone
+ while True:
+ try:
+ pids = co( 'pgrep -f mininet:'.split() )
+ except:
+ pids = ''
+ if pids:
+ sh( 'pkill -f 9 mininet:' )
+ sleep( .5 )
+ else:
+ break
+
info( "*** Cleanup complete.\n" )
--
GitLab