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 /git.c | |
parent | afe19ff7b55129d988e421ae1e0df4ec9659787a (diff) | |
download | git-10c6cddd928b24ac6030a172c6c7b46efb32aedc.tar.gz |
dashed externals: kill children on exitcb/maint-kill-subprocess-upon-signal
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 'git.c')
-rw-r--r-- | git.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -495,7 +495,7 @@ static void execv_dashed_external(const char **argv) * if we fail because the command is not found, it is * OK to return. Otherwise, we just pass along the status code. */ - status = run_command_v_opt(argv, RUN_SILENT_EXEC_FAILURE); + status = run_command_v_opt(argv, RUN_SILENT_EXEC_FAILURE | RUN_CLEAN_ON_EXIT); if (status >= 0 || errno != ENOENT) exit(status); |