From 9b4319e484de43ac72b407d0656e967445c36dd4 Mon Sep 17 00:00:00 2001
From: necoro <>
Date: Thu, 26 Apr 2007 17:34:09 +0000
Subject: some more fixed bugs

---
 portato/gui/gui_helper.py | 1 +
 1 file changed, 1 insertion(+)

(limited to 'portato/gui')

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:
-- 
cgit v1.2.3-54-g00ecf