Bugfix: set the catched signal to None *after* calling the signal handler.

diff --git a/pymin/procman.py b/pymin/procman.py
index 5cea4d4e1760989126cb77d94483cc493b551e45..4478cb7c0eff9b7280b1049162fea17e066ff0c6 100644 (file)
--- a/pymin/procman.py
+++ b/pymin/procman.py
@@ -208,7 +208,7 @@ if __name__ == '__main__':
     while manager.pidmap:
         signal.pause()
         if sig == signal.SIGCHLD:
     while manager.pidmap:
         signal.pause()
         if sig == signal.SIGCHLD:

-            sig = None

             sigchild_handler(sig)
             sigchild_handler(sig)

+            sig = None

         print "Esperando...", [pi.name for pi in manager.namemap.values()]
 
         print "Esperando...", [pi.name for pi in manager.namemap.values()]