diff options
| author |   Anthony G. Basile <blueness@gentoo.org> | 2015-07-09 22:39:31 -0400 |
|---|---|---|
| committer | Anthony G. Basile <blueness@gentoo.org> | 2015-07-09 22:39:31 -0400 |
| commit | b215ad5537db9c861b6d424b248239cfe7641b17 (patch) | |
| tree | e5896753bf54894eea92c91f5ebc17fb01bd8787 | |
| parent | grs/Execute.py: document and add logging to stderr. (diff) | |
| download | grss-b215ad5537db9c861b6d424b248239cfe7641b17.tar.gz grss-b215ad5537db9c861b6d424b248239cfe7641b17.tar.bz2 grss-b215ad5537db9c861b6d424b248239cfe7641b17.zip | |
grs/Execute.py: improve signal exit code.
| -rw-r--r-- | grs/Execute.py | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/grs/Execute.py b/grs/Execute.py index f740924..9f59a6f 100644 --- a/grs/Execute.py +++ b/grs/Execute.py @@ -5,6 +5,7 @@ import signal import shlex import subprocess import sys +import time from grs.Constants import CONST class Execute(): @@ -28,8 +29,12 @@ class Execute(): f.write('SENDING SIGTERM to pid = %d\n' % pid) f.close() try: - os.kill(pid, signal.SIGTERM) - os.kill(pid, signal.SIGKILL) + for i in range(10): + os.kill(pid, signal.SIGTERM) + time.sleep(0.2) + while True: + os.kill(pid, signal.SIGKILL) + time.sleep(0.2) except ProcessLookupError: pass |