diff options
Diffstat (limited to 'portato')
| -rw-r--r-- | portato/gui/gui_helper.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/portato/gui/gui_helper.py b/portato/gui/gui_helper.py index 377b554..86fd6ed 100644 --- a/portato/gui/gui_helper.py +++ b/portato/gui/gui_helper.py @@ -607,6 +607,7 @@ class EmergeQueue: try: os.kill(self.process.pid, signal.SIGTERM) debug("Process should be killed") + os.kill(self.process.pid, signal.SIGKILL) # to be sure except AttributeError: debug("AttributeError occured ==> process not exisiting - ignore") except OSError: |