Merge branch 'pf/editor-ignore-sigint'
authorJunio C Hamano <gitster@pobox.com>
Thu, 3 Jan 2013 18:28:45 +0000 (10:28 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 3 Jan 2013 18:28:45 +0000 (10:28 -0800)
commitd5b95853c292254f4461148fe78afc244382676b
treea79df326af945211d636671b35d419cec8c5bb79
parent5f0793732957b0f41212c6db296f5c9753da29e0
parent1250857c6c2695020bce6669a4ff43d57a507d91
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