diff options
| author | necoro <> | 2007-04-26 17:34:09 +0000 |
|---|---|---|
| committer | necoro <> | 2007-04-26 17:34:09 +0000 |
| commit | 9b4319e484de43ac72b407d0656e967445c36dd4 (patch) | |
| tree | ba6f0ecd71cbcffed631ec08b8bd4a749bc3cf97 /portato/gui | |
| parent | 83dad864f08fb5bb6a362631c7418814c01e84e4 (diff) | |
| download | portato-9b4319e484de43ac72b407d0656e967445c36dd4.tar.gz portato-9b4319e484de43ac72b407d0656e967445c36dd4.tar.bz2 portato-9b4319e484de43ac72b407d0656e967445c36dd4.zip | |
some more fixed bugs
Diffstat (limited to 'portato/gui')
| -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: |