Author: koen.aers(a)jboss.com
Date: 2012-01-18 07:30:42 -0500 (Wed, 18 Jan 2012)
New Revision: 37936
Modified:
trunk/forge/plugins/org.jboss.tools.forge.core/src/org/jboss/tools/forge/core/process/ForgeLaunchHelper.java
Log:
JBIDE-9999: Forge Launch Configurations Don't Get Deleted
Modified:
trunk/forge/plugins/org.jboss.tools.forge.core/src/org/jboss/tools/forge/core/process/ForgeLaunchHelper.java
===================================================================
---
trunk/forge/plugins/org.jboss.tools.forge.core/src/org/jboss/tools/forge/core/process/ForgeLaunchHelper.java 2012-01-18
09:24:06 UTC (rev 37935)
+++
trunk/forge/plugins/org.jboss.tools.forge.core/src/org/jboss/tools/forge/core/process/ForgeLaunchHelper.java 2012-01-18
12:30:42 UTC (rev 37936)
@@ -32,7 +32,8 @@
ILaunchConfiguration[] configurations =
LAUNCH_MANAGER.getLaunchConfigurations(JAVA_LAUNCH_CONFIGURATION_TYPE);
for (int i = 0; i < configurations.length; i++) {
ILaunchConfiguration configuration = configurations[i];
- if (configuration.getName().equals(name)) {
+ String configName = configuration.getName();
+ if (configName.startsWith(name)) {
configuration.delete();
break;
}