diff --git a/mininet.py b/mininet.py
index d58e88f44b2b4332de29e94e54907c84fab4d27a..2921eed34a4eb9c84ae88e9336480dbe7df2ed72 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"