mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-07 09:46:02 +02:00
Code Issues Wiki Activity

Bug 311189 attempt to refresh the resource (depth NONE) before removing the source entries

Browse source
This commit is contained in:
James Blackburn 2010-05-05 16:41:01 +00:00
parent 800ab8b171
commit ce525dbe96
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
core/org.eclipse.cdt.core/model/org/eclipse/cdt/internal/core/settings/model/ResourceChangeHandler.java
View file

@ -203,8 +203,11 @@ public class ResourceChangeHandler extends ResourceChangeHandlerBase implements
assert(to == null || to.getProject().equals(from.getProject())); assert(to == null || to.getProject().equals(from.getProject()));
// Bug 311189 -- if the resource still exists now, don't treat as a remove! // Bug 311189 -- if the resource still exists now, don't treat as a remove!
if (to == null && from.exists()) if (to == null) {
from.refreshLocal(IResource.DEPTH_ZERO, null);
if (from.exists())
continue; continue;
}
ICProjectDescription prjDesc = getProjectDescription(from); ICProjectDescription prjDesc = getProjectDescription(from);
if (prjDesc == null) if (prjDesc == null)