From 7c1d7c9f90951b0d775c0d61909e5b1e61112341 Mon Sep 17 00:00:00 2001
From: Brandon Heller <brandonh@stanford.edu>
Date: Fri, 18 Dec 2009 15:42:13 -0800
Subject: [PATCH] Don't attempt to kill processes twice
Was causing OSErrors because the process to kill no longer existed.
---
mininet/mininet.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/mininet/mininet.py b/mininet/mininet.py
index a8755838..7d4ac4be 100755
--- a/mininet/mininet.py
+++ b/mininet/mininet.py
@@ -539,7 +539,7 @@ def stop( self ):
print
print "*** Stopping controller"
for controller in self.controllers:
- controller.stop(); controller.terminate()
+ controller.stop();
print
print "*** Test complete"
def runTest( self, test ):
--
GitLab