make calling the original signal handler better

Author: lutzfischer

dirlock/__init__.py

@@ -44,7 +44,10 @@ def handle_sigint_cleanup(signum, frame):
     global original_sigint_handler
     _clean_locks()
     if original_sigint_handler is not None:
-        original_sigint_handler(signum, frame)
+        # restore the original handler 
+        signal.signal(signal.SIGINT, original_sigint_handler)
+        # and re-raise the signal
+        os.kill(os.getpid(), signal.SIGINT)
 
 
 def handle_sigterm_cleanup(signum, frame):
@@ -56,7 +59,10 @@ def handle_sigterm_cleanup(signum, frame):
     global original_sigterm_handler
     _clean_locks()
     if original_sigterm_handler is not None:
-        original_sigterm_handler(signum, frame)
+        # restore the original handler 
+        signal.signal(signal.SIGTERM, original_sigterm_handler)
+        # and re-raise the signal
+        os.kill(os.getpid(), signal.SIGTERM)
 
 
 # normal exit clean up