From ea779a2a34546a8c26873f1e544b160fe2d98904 Mon Sep 17 00:00:00 2001
From: Sarika Sinha
Date: Fri, 6 May 2016 17:47:13 +0530
Subject: Bug 469193 - Eclipse doesn't close debug session after project is
 closed (if launch configuration stores in project)

Change-Id: If64676c7f3c8a9fec87ea9b8a9672427770766a5
---
 .../core/org/eclipse/debug/internal/core/LaunchManager.java    | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'org.eclipse.debug.core')

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);
+
 	}
 
 	/**
-- 
cgit v1.2.3