Fix crash problem cause by kill terminal.

6 years ago · 2253ca501d
parent c96f28d325
commit 2253ca501d
1 changed files with 1 additions and 1 deletions
--- a/app/terminal/buffer.py
+++ b/app/terminal/buffer.py
@ -58,6 +58,6 @@ class AppBuffer(BrowserBuffer):
            self.change_title(paths[-1])

    def handle_destroy(self):
-        os.killpg(os.getpgid(self.background_process.pid), signal.SIGTERM)
+        os.kill(self.background_process.pid, signal.SIGTERM)

        super.handle_destroy(self)