From ee784263c237a99b54d919b2aa9737d87986a4fd Mon Sep 17 00:00:00 2001 From: Jonah Graham Date: Fri, 26 Jan 2018 12:41:02 +0000 Subject: [PATCH] Bug 530371: fix device disposed SWTException on shutdown Change-Id: I2cb4bf5da4ce35d8b7da4a31d0fa2845c9587985 --- .../cdt/dsf/gdb/internal/ui/console/GdbFullCliConsole.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dsf-gdb/org.eclipse.cdt.dsf.gdb.ui/src/org/eclipse/cdt/dsf/gdb/internal/ui/console/GdbFullCliConsole.java b/dsf-gdb/org.eclipse.cdt.dsf.gdb.ui/src/org/eclipse/cdt/dsf/gdb/internal/ui/console/GdbFullCliConsole.java index e21fed3260f..0044a83a1b9 100644 --- a/dsf-gdb/org.eclipse.cdt.dsf.gdb.ui/src/org/eclipse/cdt/dsf/gdb/internal/ui/console/GdbFullCliConsole.java +++ b/dsf-gdb/org.eclipse.cdt.dsf.gdb.ui/src/org/eclipse/cdt/dsf/gdb/internal/ui/console/GdbFullCliConsole.java @@ -65,7 +65,7 @@ public class GdbFullCliConsole extends AbstractConsole implements IGDBDebuggerCo PlatformUI.getWorkbench().getDisplay().asyncExec(() -> setName(newName)); } catch (SWTException e) { // display may be disposed, so ignore the exception - if (e.code != SWT.ERROR_WIDGET_DISPOSED) { + if (e.code != SWT.ERROR_WIDGET_DISPOSED && e.code != SWT.ERROR_DEVICE_DISPOSED) { throw e; } }