dashed externals: kill children on exit
authorClemens Buchacher <drizzd@aon.at>
Sun, 8 Jan 2012 20:41:09 +0000 (21:41 +0100)
committerJunio C Hamano <gitster@pobox.com>
Sun, 8 Jan 2012 23:07:20 +0000 (15:07 -0800)
commit10c6cddd928b24ac6030a172c6c7b46efb32aedc
tree40646622d4b49b72f99de44b4f6519ff65972203
parentafe19ff7b55129d988e421ae1e0df4ec9659787a
dashed externals: kill children on exit

Several git commands are so-called dashed externals, that is commands
executed as a child process of the git wrapper command. If the git
wrapper is killed by a signal, the child process will continue to run.
This is different from internal commands, which always die with the git
wrapper command.

Enable the recently introduced cleanup mechanism for child processes in
order to make dashed externals act more in line with internal commands.

Signed-off-by: Clemens Buchacher <drizzd@aon.at>
Acked-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
git.c
run-command.c
run-command.h