Ensure the update check process is killed on exit

This commit is contained in:
Kovid Goyal 2019-02-02 15:48:15 +05:30
parent 8778cf63c4
commit bfac482940
No known key found for this signature in database
GPG Key ID: 06BC317B515ACE7C

View File

@ -779,6 +779,8 @@ 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.update_check_process = None
del self.child_monitor
for tm in self.os_window_map.values():