diff options
author | Mike Rennie | 2013-02-06 16:40:52 +0000 |
---|---|---|
committer | Mike Rennie | 2013-02-06 16:40:52 +0000 |
commit | bbea51989eac9c9221e99947c2bb9be25e33386c (patch) | |
tree | 5319b22fd087c087a2c28413faa85e2519b6ffb5 /org.eclipse.debug.core/core/org/eclipse | |
parent | 55d1d2ab44772d19493935e5fa53e12335450f24 (diff) | |
download | eclipse.platform.debug-bbea51989eac9c9221e99947c2bb9be25e33386c.tar.gz eclipse.platform.debug-bbea51989eac9c9221e99947c2bb9be25e33386c.tar.xz eclipse.platform.debug-bbea51989eac9c9221e99947c2bb9be25e33386c.zip |
Bug 156134 - debug.core should reexport dependencies whose API isv20130206-164052
exposed
Diffstat (limited to 'org.eclipse.debug.core/core/org/eclipse')
-rw-r--r-- | org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java | 26 |
1 files changed, 14 insertions, 12 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 ecd58992c..62d723afe 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 @@ -2348,18 +2348,20 @@ public class LaunchManager extends PlatformObject implements ILaunchManager, IRe ILaunch launch = null; for (int i= 0; i < launches.length; i++) { launch = launches[i]; - try { - if (launch instanceof IDisconnect) { - IDisconnect disconnect = (IDisconnect)launch; - if (disconnect.canDisconnect()) { - disconnect.disconnect(); - } - } - if (launch.canTerminate()) { - launch.terminate(); - } - } catch (DebugException e) { - DebugPlugin.log(e); + if(launch != null) { + try { + if (launch instanceof IDisconnect) { + IDisconnect disconnect = (IDisconnect)launch; + if (disconnect.canDisconnect()) { + disconnect.disconnect(); + } + } + if (launch.canTerminate()) { + launch.terminate(); + } + } catch (DebugException e) { + DebugPlugin.log(e); + } } } |