mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Bug 228236 - ConcurrentModificationException when opening source file - again

Browse source
This commit is contained in:
Anton Leherbauer 2009-02-05 09:21:13 +00:00
parent 9220a1152e
commit 6c3c6c4eae
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

@ -1,5 +1,5 @@
/*******************************************************************************
* Copyright (c) 2004, 2008 IBM Corporation and others.
* Copyright (c) 2004, 2009 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@ -171,7 +171,7 @@ public final class ScannerConfigProfileManager {
}
/**
* returns the list od profile IDs supported for this context
* returns the list of profile IDs supported for this context
* @param context
* @return
*/
@ -179,18 +179,16 @@ public final class ScannerConfigProfileManager {
if(context.isDefaultContext() || context.getProject() == null)
return getProfileIds();
if(contextAwareProfileIds == null){
synchronized (fLock) {
if(contextAwareProfileIds == null){
contextAwareProfileIds = new ArrayList<String>();
List<String> all = getProfileIds();
synchronized (fLock) {
if(contextAwareProfileIds == null){
contextAwareProfileIds = new ArrayList<String>();
List<String> all = getProfileIds();
for(int i = 0; i < all.size(); i++){
String id = all.get(i);
ScannerConfigProfile profile = getSCProfileConfiguration(id);
if(profile.supportsContext())
contextAwareProfileIds.add(id);
}
for(int i = 0; i < all.size(); i++){
String id = all.get(i);
ScannerConfigProfile profile = getSCProfileConfiguration(id);
if(profile.supportsContext())
contextAwareProfileIds.add(id);
}
}
}