diff options
author | Clemens Buchacher <drizzd@aon.at> | 2012-01-08 21:41:09 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-01-08 15:07:20 -0800 |
commit | 10c6cddd928b24ac6030a172c6c7b46efb32aedc (patch) | |
tree | 40646622d4b49b72f99de44b4f6519ff65972203 /Documentation/diff-options.txt | |
parent | run-command: optionally kill children on exit (diff) | |
download | tgif-10c6cddd928b24ac6030a172c6c7b46efb32aedc.tar.xz |
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>
Diffstat (limited to 'Documentation/diff-options.txt')
0 files changed, 0 insertions, 0 deletions