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

bug 322695: Can't access preferences of any unrelated CDT project having "bad" project in workspace

Browse source
This commit is contained in:
Andrew Gvozdev 2010-08-14 04:52:10 +00:00
parent 6bd17c4f77
commit 338a01952d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/build/internal/core/scannerconfig/CfgDiscoveredPathManager.java
View file

@ -359,7 +359,7 @@ public class CfgDiscoveredPathManager implements IResourceChangeListener {
} else if(queryParent){
// IResourceInfo rcInfo = tool.getParentResourceInfo();
ITool superTool = tool.getSuperClass();
if(!superTool.isExtensionElement()){
if(superTool!=null && !superTool.isExtensionElement()){
if(inType != null){
IInputType superInType = null;
String exts[] = inType.getSourceExtensions(tool);