From 845dedca328da559daa59fbb1b0d882de99f4db1 Mon Sep 17 00:00:00 2001
From: Bob Lantz <rlantz@cs.stanford.edu>
Date: Mon, 14 Dec 2009 19:21:17 -0800
Subject: [PATCH] One more change to revert the broken exec behavior.
---
mininet.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/mininet.py b/mininet.py
index d58e88f4..2921eed3 100755
--- a/mininet.py
+++ b/mininet.py
@@ -306,7 +306,8 @@ def start( self, controller ):
def stop( self ):
if self.dp is None: self.stopUserDatapath()
else: self.stopKernelDatapath()
- # Handle non-interaction if we've execed
+ # Handle non-interaction if we've execed
+ self.terminate()
def sendCmd( self, cmd ):
if not self.execed: return Node.sendCmd( self, cmd )
else: print "*** Error:", self.name, "has execed and cannot accept commands"
--
GitLab