diff options
author | Darin Wright | 2007-12-03 15:48:34 +0000 |
---|---|---|
committer | Darin Wright | 2007-12-03 15:48:34 +0000 |
commit | 7c23ee35d09fbc3c95ad53bc108a158c6ccc4a55 (patch) | |
tree | f8eb1aa8fb84ab7afc9af76aaed3fd739f6791f9 | |
parent | 5679294eabcb7c35df2b9ac1f48ac00b4040079c (diff) | |
download | eclipse.platform.debug-7c23ee35d09fbc3c95ad53bc108a158c6ccc4a55.tar.gz eclipse.platform.debug-7c23ee35d09fbc3c95ad53bc108a158c6ccc4a55.tar.xz eclipse.platform.debug-7c23ee35d09fbc3c95ad53bc108a158c6ccc4a55.zip |
Bug 211769 - NPE in LaunchManager
-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 c5321fe2f..24d886998 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 @@ -1109,7 +1109,7 @@ public class LaunchManager extends PlatformObject implements ILaunchManager, IRe * the workspace. These are cached, and cache is cleared when a new config is added, * deleted or changed. */ - protected String[] getAllSortedConfigNames() { + protected synchronized String[] getAllSortedConfigNames() { if (fSortedConfigNames == null) { ILaunchConfiguration[] configs = getLaunchConfigurations(); fSortedConfigNames = new String[configs.length]; |