diff options
Diffstat (limited to 'libjava/java/io/PipedReader.java')
-rw-r--r-- | libjava/java/io/PipedReader.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/libjava/java/io/PipedReader.java b/libjava/java/io/PipedReader.java index 8047d55..07569eb 100644 --- a/libjava/java/io/PipedReader.java +++ b/libjava/java/io/PipedReader.java @@ -312,10 +312,15 @@ public class PipedReader extends Reader public boolean ready() throws IOException { // The JDK 1.3 implementation does not appear to check for the closed or - // unconnected stream conditions here. + // unconnected stream conditions here. However, checking for a + // closed stream is explicitly required by the JDK 1.2 and 1.3 + // documentation (for Reader.close()), so we do it. synchronized (lock) { + if (closed) + throw new IOException("Pipe closed"); + if (in < 0) return false; |