Don't assume that kill() will always succeed

2026-06-08 14:16:17 +00:00 · 2015-06-08 18:05:08 +02:00
parent 2afaa8b217
commit 3906f9e4aa
1 changed files with 4 additions and 1 deletions
@@ -122,7 +122,10 @@ class ConsoleApplication(object):
            self._session.detach()
            self._session = None
        if self._spawned_pid is not None:
-            self._device.kill(self._spawned_pid)
+            try:
+                self._device.kill(self._spawned_pid)
+            except:
+                pass
        if self._device is not None:
            self._device.off('lost', self._schedule_on_device_lost)
        mgr.off('changed', on_devices_changed)