node: kill entire process group in terminate

mnexec already puts the shell into its own process group. Killing the entire process group cleans up after any background processes the user left running.
2013-12-14 11:12:46 -08:00
parent fb51cdaca3
commit 2200d8d173
1 changed files with 1 additions and 1 deletions
@@ -184,7 +184,7 @@ class Node( object ):
    def terminate( self ):
        "Send kill signal to Node and clean up after it."
        if self.shell:
-            os.kill( self.pid, signal.SIGKILL )
+            os.killpg( self.pid, signal.SIGKILL )
        self.cleanup()

    def stop( self ):