diff options
| author | Andrey Loskutov | 2017-01-02 17:24:26 +0000 |
|---|---|---|
| committer | Andrey Loskutov | 2017-01-02 17:24:26 +0000 |
| commit | f450272495a0a9e9c1847187d4a69d230afee64f (patch) | |
| tree | a54b9ac182394b4080e660c4291d82cb4538cabe | |
| parent | eae4d5f123b94a3bb6f6bc7d0257a6192359f254 (diff) | |
| download | eclipse.platform.debug-I20170105-0230.tar.gz eclipse.platform.debug-I20170105-0230.tar.xz eclipse.platform.debug-I20170105-0230.zip | |
Bug 509825 - ResourceException below BreakpointManager$5.run (thrown inI20170105-0320I20170105-0230I20170104-2000I20170104-0800I20170103-2000
Marker.checkInfo)
Change-Id: I573ad6db8f41e3d03a8e0d03dc149275ef3a506d
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
| -rw-r--r-- | org.eclipse.debug.core/core/org/eclipse/debug/internal/core/BreakpointManager.java | 6 |
1 files changed, 5 insertions, 1 deletions
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 365670983..991dc1166 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 @@ public class BreakpointManager implements IBreakpointManager, IResourceChangeLis // 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 + } } } }; |