diff options
Diffstat (limited to 'libjava/java/io/PipedWriter.java')
| -rw-r--r-- | libjava/java/io/PipedWriter.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/libjava/java/io/PipedWriter.java b/libjava/java/io/PipedWriter.java index a0a51d1d44b..ebcbde783ec 100644 --- a/libjava/java/io/PipedWriter.java +++ b/libjava/java/io/PipedWriter.java @@ -142,8 +142,10 @@ public class PipedWriter extends Writer * had read all available data. Thats not the case - this method * appears to be a no-op? */ - public void flush() + public void flush() throws IOException { + if (closed) + throw new IOException ("Pipe closed"); } /** |