]> source.dussan.org Git - jgit.git/commit
pgm: Attempt to detect a broken pipe and exit silently 07/9407/2
authorRobin Rosenberg <robin.rosenberg@dewire.com>
Sun, 30 Dec 2012 19:57:27 +0000 (20:57 +0100)
committerRobin Rosenberg <robin.rosenberg@dewire.com>
Mon, 7 Jan 2013 00:05:10 +0000 (01:05 +0100)
commit9e36b173a5fc2bab683416c5c0b7d9d4008d7f99
tree1c398c431742a633614402975f8a631378a4fb2d
parentc2d1183e39174336605509642b6f60157b9e2c3a
pgm: Attempt to detect a broken pipe and exit silently

When piping output to another program, the other pipe may exit
before we are done. An example is "jgit log|head". The result is
that errno get set to EPIPE. Unfortunately Java does not have
specific exception for this so we have to look at the exception
message and hope that the number of variants are small.

The detection here seem to work on Windows, Linux and OS X and it
seems the message is usually not localized.

Change-Id: Id6968ea7a53ae27ba5496303f1a479e41e41fdcc
org.eclipse.jgit.pgm/src/org/eclipse/jgit/pgm/Main.java