]> arthur.barton.de Git - bup.git/commit
main: even more fixes for signal handling.
authorAvery Pennarun <apenwarr@gmail.com>
Sun, 14 Mar 2010 05:55:08 +0000 (00:55 -0500)
committerAvery Pennarun <apenwarr@gmail.com>
Sun, 14 Mar 2010 05:55:08 +0000 (00:55 -0500)
commitda300a19fbe9147bbe7414b9bf555c8e1a585309
tree9461448838ad4cc5b05505ae12ff0c1352dfa355
parent96075fce26dc570c0308f6cf16b96becece2e02c
main: even more fixes for signal handling.

If the child doesn't die after the first SIGINT and the user presses ctrl-c
one more time, the main bup process would die instead of forwarding it on to
the child.  That's no good; we actually have to loop forwarding signals
until the child is really good and dead.

And if the child refuses to die, well, he's the one with the bug, not
main.py.  So main.py should stay alive too in the name of not losing track
of things.
main.py