diff options
| -rw-r--r-- | dsf-gdb/org.eclipse.cdt.dsf.gdb.ui/src/org/eclipse/cdt/dsf/gdb/internal/ui/console/TracingConsole.java | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/dsf-gdb/org.eclipse.cdt.dsf.gdb.ui/src/org/eclipse/cdt/dsf/gdb/internal/ui/console/TracingConsole.java b/dsf-gdb/org.eclipse.cdt.dsf.gdb.ui/src/org/eclipse/cdt/dsf/gdb/internal/ui/console/TracingConsole.java index 13b6e6b4dfd..2f873307d37 100644 --- a/dsf-gdb/org.eclipse.cdt.dsf.gdb.ui/src/org/eclipse/cdt/dsf/gdb/internal/ui/console/TracingConsole.java +++ b/dsf-gdb/org.eclipse.cdt.dsf.gdb.ui/src/org/eclipse/cdt/dsf/gdb/internal/ui/console/TracingConsole.java @@ -82,11 +82,15 @@ public class TracingConsole extends IOConsole { fTracingStream.close(); } catch (IOException e) { } - fSession.getExecutor().submit(new DsfRunnable() { - public void run() { - fSession.removeServiceEventListener(TracingConsole.this); - } - }); + try { + fSession.getExecutor().submit(new DsfRunnable() { + public void run() { + fSession.removeServiceEventListener(TracingConsole.this); + } + }); + } catch (RejectedExecutionException e) { + // Session already disposed + } super.dispose(); } |