diff options
author | Junio C Hamano <gitster@pobox.com> | 2013-01-03 10:28:45 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-01-03 10:28:45 -0800 |
commit | d5b95853c292254f4461148fe78afc244382676b (patch) | |
tree | a79df326af945211d636671b35d419cec8c5bb79 /git-gui/GIT-VERSION-GEN | |
parent | Merge branch 'mh/pthreads-autoconf' (diff) | |
parent | launch_editor: propagate signals from editor to git (diff) | |
download | tgif-d5b95853c292254f4461148fe78afc244382676b.tar.xz |
Merge branch 'pf/editor-ignore-sigint'
The behaviour visible to the end users was confusing, when they
attempt to kill a process spawned in the editor that was in turn
launched by Git with SIGINT (or SIGQUIT), as Git would catch that
signal and die. We ignore these signals now.
* pf/editor-ignore-sigint:
launch_editor: propagate signals from editor to git
run-command: do not warn about child death from terminal
launch_editor: ignore terminal signals while editor has control
launch_editor: refactor to use start/finish_command
run-command: drop silent_exec_failure arg from wait_or_whine
Diffstat (limited to 'git-gui/GIT-VERSION-GEN')
0 files changed, 0 insertions, 0 deletions