diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2014-11-10 11:26:09 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2014-11-10 11:26:09 -0800 |
| commit | bd51886f304f8ce2e83aed8a52b20553acb09373 (patch) | |
| tree | 4579d3381be19992e2f802ea72ecbb48baa924a2 | |
| parent | trailer: use CHILD_PROCESS_INIT in apply_command() (diff) | |
| parent | diff-highlight: exit when a pipe is broken (diff) | |
| download | tgif-bd51886f304f8ce2e83aed8a52b20553acb09373.tar.xz | |
Merge branch 'js/diff-highlight-avoid-sigpipe'
* js/diff-highlight-avoid-sigpipe:
diff-highlight: exit when a pipe is broken
| -rwxr-xr-x | contrib/diff-highlight/diff-highlight | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/diff-highlight/diff-highlight b/contrib/diff-highlight/diff-highlight index c4404d49c9..69a652e7b2 100755 --- a/contrib/diff-highlight/diff-highlight +++ b/contrib/diff-highlight/diff-highlight @@ -14,6 +14,10 @@ my @removed; my @added; my $in_hunk; +# Some scripts may not realize that SIGPIPE is being ignored when launching the +# pager--for instance scripts written in Python. +$SIG{PIPE} = 'DEFAULT'; + while (<>) { if (!$in_hunk) { print; |