diff options
author | Darin Wright | 2001-06-01 11:30:39 +0000 |
---|---|---|
committer | Darin Wright | 2001-06-01 11:30:39 +0000 |
commit | 0da71f5f9d68104a09dd7477fad9d97508ab563f (patch) | |
tree | b62bd6eaa0cea0d47e7e6d992d75ebeffb341501 | |
parent | e1bab2c07e8f7a82e216974ac53976c4b3baeef7 (diff) | |
download | eclipse.platform.debug-0da71f5f9d68104a09dd7477fad9d97508ab563f.tar.gz eclipse.platform.debug-0da71f5f9d68104a09dd7477fad9d97508ab563f.tar.xz eclipse.platform.debug-0da71f5f9d68104a09dd7477fad9d97508ab563f.zip |
1GEMGQB
-rw-r--r-- | org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java | 3 |
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);
}
|