chiark / gitweb /
and signals work too now
authorIan Jackson <ian@anarres>
Thu, 8 Dec 2005 19:52:25 +0000 (19:52 +0000)
committerIan Jackson <ian@anarres>
Thu, 8 Dec 2005 19:52:25 +0000 (19:52 +0000)
virt-chroot/adt-virt-chroot

index 82f256076e91775afc7d42db7f91afe0f5fb9deb..0a6c43e47214b81f5f79678ac84097867de67761 100755 (executable)
@@ -8,6 +8,7 @@
 #              GAINROOT will be split up if it has spaces
 
 import sys
+import os
 import string
 import urllib
 import signal
@@ -151,9 +152,10 @@ def prepare():
                        signal.SIGINT, signal.SIGPIPE ]
        def sethandlers(f):
                for signum in signal_list: signal.signal(signum, f)
-       def handler(args):
+       def handler(sig, *any):
                sethandlers(signal.SIG_DFL)
                cleanup()
+               os.kill(os.getpid(), sig)
        sethandlers(handler)
 
 parse_args()