diff --git a/src/main/org/apache/tools/ant/util/LeadPipeInputStream.java b/src/main/org/apache/tools/ant/util/LeadPipeInputStream.java index 2d58d5b04..9ebc10c2c 100644 --- a/src/main/org/apache/tools/ant/util/LeadPipeInputStream.java +++ b/src/main/org/apache/tools/ant/util/LeadPipeInputStream.java @@ -87,7 +87,8 @@ public class LeadPipeInputStream extends PipedInputStream { result = super.read(); } catch (IOException eyeOhEx) { String msg = eyeOhEx.getMessage(); - if ("write end dead".equalsIgnoreCase(msg)) { + if ("write end dead".equalsIgnoreCase(msg) + || "pipe broken".equalsIgnoreCase(msg)) { if (super.in > 0 && super.out < super.buffer.length && super.out > super.in) { result = super.buffer[super.out++] & BYTE_MASK;