mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-29 20:05:35 +02:00
Code Issues Wiki Activity

Bug 228236 - ConcurrentModificationException when opening source file - follow up

Browse source
This commit is contained in:
Anton Leherbauer 2009-02-04 12:19:40 +00:00
parent f6b84f948e
commit 76f62916b8
1 changed files with 11 additions and 13 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/internal/core/scannerconfig2/ScannerConfigProfileManager.java
View file

@ -150,21 +150,19 @@ public final class ScannerConfigProfileManager {
}
/**
* @return
* @return a list of available scanner config profile id's.
*/
public List<String> getProfileIds() {
if (profileIds == null) {
synchronized (fLock) {
if (profileIds == null) {
profileIds = new ArrayList<String>();
IExtensionPoint extension = Platform.getExtensionRegistry().
getExtensionPoint(MakeCorePlugin.PLUGIN_ID, ScannerConfigProfileManager.SI_PROFILE_SIMPLE_ID);
if (extension != null) {
IExtension[] extensions = extension.getExtensions();
for (int i = 0; i < extensions.length; ++i) {
String rProfileId = extensions[i].getUniqueIdentifier();
profileIds.add(rProfileId);
}
synchronized (fLock) {
if (profileIds == null) {
profileIds = new ArrayList<String>();
IExtensionPoint extension = Platform.getExtensionRegistry().
getExtensionPoint(MakeCorePlugin.PLUGIN_ID, ScannerConfigProfileManager.SI_PROFILE_SIMPLE_ID);
if (extension != null) {
IExtension[] extensions = extension.getExtensions();
for (int i = 0; i < extensions.length; ++i) {
String rProfileId = extensions[i].getUniqueIdentifier();
profileIds.add(rProfileId);
}
}
}