diff options
Diffstat (limited to 'org.eclipse.ui.console/src/org/eclipse/ui/console/IOConsoleInputStream.java')
-rw-r--r-- | org.eclipse.ui.console/src/org/eclipse/ui/console/IOConsoleInputStream.java | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/org.eclipse.ui.console/src/org/eclipse/ui/console/IOConsoleInputStream.java b/org.eclipse.ui.console/src/org/eclipse/ui/console/IOConsoleInputStream.java index 56464eba5..1b94147f3 100644 --- a/org.eclipse.ui.console/src/org/eclipse/ui/console/IOConsoleInputStream.java +++ b/org.eclipse.ui.console/src/org/eclipse/ui/console/IOConsoleInputStream.java @@ -56,7 +56,7 @@ public class IOConsoleInputStream extends InputStream { /** * Flag to indicate that the stream has been closed. */ - private boolean closed = false; + private volatile boolean closed; /** * The console that this stream is connected to. @@ -251,13 +251,19 @@ public class IOConsoleInputStream extends InputStream { } @Override - public synchronized void close() throws IOException { + public void close() throws IOException { if(closed) { // Closeable#close() has no effect if already closed return; } - closed = true; - notifyAll(); + synchronized (this) { + if (closed) { + return; + } + closed = true; + notifyAll(); + } + // Locked in the console console.streamClosed(this); } } |