diff options
author | Sarika Sinha | 2016-05-06 12:17:13 +0000 |
---|---|---|
committer | Sarika Sinha | 2016-06-10 04:54:35 +0000 |
commit | ea779a2a34546a8c26873f1e544b160fe2d98904 (patch) | |
tree | dac03d44c56b17a737bec1a665b182968cbd0f72 /org.eclipse.debug.core/core | |
parent | 0ad88289d92aa4414ed1bb0c03a493402f715191 (diff) | |
download | eclipse.platform.debug-ea779a2a34546a8c26873f1e544b160fe2d98904.tar.gz eclipse.platform.debug-ea779a2a34546a8c26873f1e544b160fe2d98904.tar.xz eclipse.platform.debug-ea779a2a34546a8c26873f1e544b160fe2d98904.zip |
Bug 469193 - Eclipse doesn't close debug session after project is closed
(if launch configuration stores in project)
Change-Id: If64676c7f3c8a9fec87ea9b8a9672427770766a5
Diffstat (limited to 'org.eclipse.debug.core/core')
-rw-r--r-- | org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java | 10 |
1 files changed, 8 insertions, 2 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 74a7638b3..32cdb6a01 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 @@ -1746,6 +1746,11 @@ public class LaunchManager extends PlatformObject implements ILaunchManager, IRe if(resources[j].equals(resource)) { configurations.add(config); break; + } else if (resource.getType() == IResource.PROJECT && resources[j].getType() == IResource.FILE){ + if (resources[j].getProject().equals(resource)) { + configurations.add(config); + break; + } } } } @@ -2210,11 +2215,12 @@ public class LaunchManager extends PlatformObject implements ILaunchManager, IRe * @param project the project that has been closed */ protected void projectClosed(IProject project) { + // bug 12134 + terminateMappedConfigurations(project); for (ILaunchConfiguration config : getLaunchConfigurations(project)) { launchConfigurationDeleted(config); } - //bug 12134 - terminateMappedConfigurations(project); + } /** |