summaryrefslogtreecommitdiff
path: root/portato/gui
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--portato/gui/gui_helper.py1
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: