]> git.ipfire.org Git - thirdparty/git.git/commitdiff
Merge branch 'jk/execv-dashed-external' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 2 Feb 2017 21:20:29 +0000 (13:20 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 2 Feb 2017 21:20:29 +0000 (13:20 -0800)
Typing ^C to pager, which usually does not kill it, killed Git and
took the pager down as a collateral damage in certain process-tree
structure.  This has been fixed.

* jk/execv-dashed-external:
  execv_dashed_external: wait for child on signal death
  execv_dashed_external: stop exiting with negative code
  execv_dashed_external: use child_process struct


Trivial merge