diff --git a/mininet/node.py b/mininet/node.py index a69eda61590777c22b839a073c0b3fb669d67048..a5ad2bd7a29c8e6d467794a9f9b92cec36da71cf 100644 --- a/mininet/node.py +++ b/mininet/node.py @@ -205,7 +205,7 @@ def write( self, data ): def terminate( self ): "Send kill signal to Node and clean up after it." if self.shell: - os.killpg( self.pid, signal.SIGKILL ) + os.killpg( self.pid, signal.SIGHUP ) self.cleanup() def stop( self ): @@ -1269,11 +1269,6 @@ def start( self ): ' 1>' + cout + ' 2>' + cout + '&' ) self.execed = False - def stop( self ): - "Stop controller." - self.cmd( 'kill %' + self.command ) - self.terminate() - def IP( self, intf=None ): "Return IP address of the Controller" if self.intfs: