branch | stable |
changeset 7815 | 2a164a9cf81c |
parent 7595 | 83872394b5d9 |
child 7896 | 4c954e1e73ef |
--- a/cwctl.py Tue Sep 20 15:14:04 2011 +0200 +++ b/cwctl.py Wed Sep 21 17:38:00 2011 +0200 @@ -554,7 +554,7 @@ pid = int(open(pidf).read().strip()) try: kill(pid, signal.SIGTERM) - except: + except Exception: print >> sys.stderr, "process %s seems already dead." % pid else: try: @@ -564,7 +564,7 @@ print >> sys.stderr, 'trying SIGKILL' try: kill(pid, signal.SIGKILL) - except: + except Exception: # probably dead now pass wait_process_end(pid)