Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSarika Sinha2016-05-06 08:17:13 -0400
committerSarika Sinha2016-06-10 00:54:35 -0400
commitea779a2a34546a8c26873f1e544b160fe2d98904 (patch)
treedac03d44c56b17a737bec1a665b182968cbd0f72
parent0ad88289d92aa4414ed1bb0c03a493402f715191 (diff)
downloadeclipse.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
-rw-r--r--org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java10
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);
+
}
/**

Back to the top