mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-26 02:15:31 +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:17:07 +00:00
parent 5591886076
commit 14b2916811
1 changed files with 5 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
build/org.eclipse.cdt.managedbuilder.core/src/org/eclipse/cdt/managedbuilder/internal/core/FolderInfo.java
View file

@ -73,10 +73,7 @@ public class FolderInfo extends ResourceInfo implements IFolderInfo {
setManagedBuildRevision(folderInfo.getParent().getManagedBuildRevision()); setManagedBuildRevision(folderInfo.getParent().getManagedBuildRevision());
IToolChain parTc = folderInfo.getToolChain(); IToolChain parTc = folderInfo.getToolChain();
IToolChain extTc = parTc; IToolChain extTc = ManagedBuildManager.getExtensionToolChain(parTc);
for(; extTc != null && !extTc.isExtensionElement(); extTc = extTc.getSuperClass()) {
// empty body, loop is to find extension element only
}
if(extTc == null) if(extTc == null)
extTc = parTc; extTc = parTc;
@ -89,10 +86,7 @@ public class FolderInfo extends ResourceInfo implements IFolderInfo {
ITool tools[] = parTc.getTools(); ITool tools[] = parTc.getTools();
String subId = new String(); String subId = new String();
for (ITool tool : tools) { for (ITool tool : tools) {
ITool extTool = tool; ITool extTool = ManagedBuildManager.getExtensionTool(tool);
for(; extTool != null && !extTool.isExtensionElement(); extTool = extTool.getSuperClass()) {
// empty body, loop is to find extension element only
}
if(extTool == null) if(extTool == null)
extTool = tool; extTool = tool;
@ -174,10 +168,9 @@ public class FolderInfo extends ResourceInfo implements IFolderInfo {
boolean copyIds = cloneChildren && id.equals(cloneInfo.id); boolean copyIds = cloneChildren && id.equals(cloneInfo.id);
IToolChain cloneToolChain = cloneInfo.getToolChain(); IToolChain cloneToolChain = cloneInfo.getToolChain();
IToolChain extToolChain = cloneToolChain; IToolChain extToolChain = ManagedBuildManager.getExtensionToolChain(cloneToolChain);
for(; !extToolChain.isExtensionElement(); extToolChain = extToolChain.getSuperClass()) { if (extToolChain==null)
// empty body, loop is to find extension element only extToolChain = cloneToolChain;
}
subName = cloneToolChain.getName(); subName = cloneToolChain.getName();