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 /org.eclipse.debug.core | |
| 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
Diffstat (limited to 'org.eclipse.debug.core')
| -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()) { |