Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDarin Wright2001-06-01 11:30:39 +0000
committerDarin Wright2001-06-01 11:30:39 +0000
commit0da71f5f9d68104a09dd7477fad9d97508ab563f (patch)
treeb62bd6eaa0cea0d47e7e6d992d75ebeffb341501 /org.eclipse.debug.core
parente1bab2c07e8f7a82e216974ac53976c4b3baeef7 (diff)
downloadeclipse.platform.debug-0da71f5f9d68104a09dd7477fad9d97508ab563f.tar.gz
eclipse.platform.debug-0da71f5f9d68104a09dd7477fad9d97508ab563f.tar.xz
eclipse.platform.debug-0da71f5f9d68104a09dd7477fad9d97508ab563f.zip
1GEMGQB
Diffstat (limited to 'org.eclipse.debug.core')
-rw-r--r--org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java3
1 files changed, 3 insertions, 0 deletions
diff --git a/org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java b/org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java
index 0e3a2f38d..2fa0a6f51 100644
--- a/org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java
+++ b/org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java
@@ -56,6 +56,9 @@ public class LaunchManager extends PlatformObject implements ILaunchManager {
* @see ILaunchManager
*/
public void deregisterLaunch(ILaunch launch) {
+ if (launch == null) {
+ return;
+ }
fLaunches.remove(launch);
fireUpdate(launch, DEREGISTERED);
}

Back to the top