cwctl.py
branchstable
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)