diff options
author | Michael Rennie | 2010-05-18 16:05:00 +0000 |
---|---|---|
committer | Michael Rennie | 2010-05-18 16:05:00 +0000 |
commit | acadd8427d4d42239336a98b10752eea6bbb05bc (patch) | |
tree | ee442194041d1e48f030f786e8490feceeffc0ac | |
parent | 730769bd1286970f04f4df35f8bcd54b6cd9d9f1 (diff) | |
download | eclipse.platform.debug-acadd8427d4d42239336a98b10752eea6bbb05bc.tar.gz eclipse.platform.debug-acadd8427d4d42239336a98b10752eea6bbb05bc.tar.xz eclipse.platform.debug-acadd8427d4d42239336a98b10752eea6bbb05bc.zip |
Bug 313143 - Preferred Launch Delegate not recovered from preferences
-rw-r--r-- | org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java | 2 |
1 files changed, 1 insertions, 1 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 4341b8c44..915984ae3 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 @@ -1617,7 +1617,7 @@ public class LaunchManager extends PlatformObject implements ILaunchManager, IRe // @since 3.5 // If the legacy mechanism didn't work, try the new preference name for // the given launch type. - String preferred = Platform.getPreferencesService().getString(DebugPlugin.getUniqueIdentifier(), LaunchManager.PREF_PREFERRED_DELEGATES + '/' + typeid, IInternalDebugCoreConstants.EMPTY_STRING, null); + String preferred = Platform.getPreferencesService().getString(DebugPlugin.getUniqueIdentifier(), "//" + LaunchManager.PREF_PREFERRED_DELEGATES + '/' + typeid, IInternalDebugCoreConstants.EMPTY_STRING, null); //$NON-NLS-1$ if (preferred != null && preferred.length() != 0) { StringTokenizer tokenizer = new StringTokenizer(preferred, ";"); //$NON-NLS-1$ while(tokenizer.hasMoreTokens()) { |