diff --git a/mininet/node.py b/mininet/node.py index 55b5eb8f3cc64c4d1fbf614a35b4c18cc7ef51c3..55d353104ad1cefecb38da4ae45e03ebffdaf3bc 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 ):