Bug 509825 - ResourceException below BreakpointManager$5.run (thrown in
Marker.checkInfo)
Change-Id: I573ad6db8f41e3d03a8e0d03dc149275ef3a506d
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
diff --git a/org.eclipse.debug.core/core/org/eclipse/debug/internal/core/BreakpointManager.java b/org.eclipse.debug.core/core/org/eclipse/debug/internal/core/BreakpointManager.java
index 3656709..991dc11 100644
--- a/org.eclipse.debug.core/core/org/eclipse/debug/internal/core/BreakpointManager.java
+++ b/org.eclipse.debug.core/core/org/eclipse/debug/internal/core/BreakpointManager.java
@@ -1448,7 +1448,11 @@
// that the icon in
// the editor ruler will be updated (editors listen to
// marker changes).
- breakpoint.getMarker().setAttribute(IBreakpoint.ENABLED, breakpoint.isEnabled());
+ try {
+ breakpoint.getMarker().setAttribute(IBreakpoint.ENABLED, breakpoint.isEnabled());
+ } catch (CoreException e) {
+ // don't care if marker was already deleted
+ }
}
}
};
