From 9916802a69e11fc56636c051b04a68f135106b81 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Sat, 2 Feb 2019 15:56:51 +0530
Subject: [PATCH] Only kill process if not already dead

---
 kitty/boss.py | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/kitty/boss.py b/kitty/boss.py
index 0a097766c..2cbef3331 100644
--- a/kitty/boss.py
+++ b/kitty/boss.py
@@ -779,8 +779,7 @@ class Boss:
     def destroy(self):
         self.shutting_down = True
         self.child_monitor.shutdown_monitor()
-        if self.update_check_process is not None:
-            self.update_check_process.kill()
+        self.set_update_check_process()
         self.update_check_process = None
         del self.child_monitor
         for tm in self.os_window_map.values():
@@ -986,7 +985,13 @@ class Boss:
             except FileNotFoundError:
                 pass
 
-    def set_update_check_process(self, process):
+    def set_update_check_process(self, process=None):
+        if self.update_check_process is not None:
+            try:
+                if self.update_check_process.poll() is None:
+                    self.update_check_process.kill()
+            except Exception:
+                pass
         self.update_check_process = process
 
     def on_monitored_pid_death(self, pid, exit_status):