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

Fix for the [Bug 186996] Scanner discovery cache not deleted with project delete

Browse source
This commit is contained in:
Mikhail Sennikovsky 2007-05-25 13:45:08 +00:00
parent 29ddd2e511
commit 271f65a6db
2 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
build/org.eclipse.cdt.make.core/src/org/eclipse/cdt/make/internal/core/scannerconfig/DiscoveredPathManager.java
View file

@ -126,6 +126,7 @@ public class DiscoveredPathManager implements IDiscoveredPathManager, IResourceC
if (resource.getType() == IResource.PROJECT) {
//TODO: better handlind of resource remove/rename
fDiscoveredInfoHolderMap.remove(resource);
ScannerConfigProfileManager.getInstance().handleProjectRemoved(resource.getProject());
}
break;
}

6
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, 2005 IBM Corporation and others.
* Copyright (c) 2004, 2007 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
@ -94,6 +94,10 @@ public class ScannerConfigProfileManager {
return map;
}
public void handleProjectRemoved(IProject project){
projectToProfileInstanceMap.remove(project);
}
/**
* @param project
* @param profileId - if null, get the one associated with the project