diff options
Diffstat (limited to 'org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java')
-rw-r--r-- | org.eclipse.debug.core/core/org/eclipse/debug/internal/core/LaunchManager.java | 4 |
1 files changed, 2 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 7ecf979fe..4973e3f52 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 @@ -589,7 +589,7 @@ public class LaunchManager extends PlatformObject implements ILaunchManager, IRe /** * A cache of launch configuration names currently in the workspace. */ - private String[] fSortedConfigNames = null; + private volatile String[] fSortedConfigNames = null; /** * Collection of all launch configurations in the workspace. @@ -916,7 +916,7 @@ public class LaunchManager extends PlatformObject implements ILaunchManager, IRe /** * The launch config name cache is cleared when a config is added, deleted or changed. */ - protected void clearConfigNameCache() { + protected synchronized void clearConfigNameCache() { fSortedConfigNames = null; } |