From ce525dbe96399cbd55f916a58053d4fe98b15141 Mon Sep 17 00:00:00 2001 From: James Blackburn Date: Wed, 5 May 2010 16:41:01 +0000 Subject: [PATCH] Bug 311189 attempt to refresh the resource (depth NONE) before removing the source entries --- .../core/settings/model/ResourceChangeHandler.java | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/core/org.eclipse.cdt.core/model/org/eclipse/cdt/internal/core/settings/model/ResourceChangeHandler.java b/core/org.eclipse.cdt.core/model/org/eclipse/cdt/internal/core/settings/model/ResourceChangeHandler.java index b7f2d6793b3..3de2bd5f08b 100644 --- a/core/org.eclipse.cdt.core/model/org/eclipse/cdt/internal/core/settings/model/ResourceChangeHandler.java +++ b/core/org.eclipse.cdt.core/model/org/eclipse/cdt/internal/core/settings/model/ResourceChangeHandler.java @@ -203,8 +203,11 @@ public class ResourceChangeHandler extends ResourceChangeHandlerBase implements assert(to == null || to.getProject().equals(from.getProject())); // Bug 311189 -- if the resource still exists now, don't treat as a remove! - if (to == null && from.exists()) - continue; + if (to == null) { + from.refreshLocal(IResource.DEPTH_ZERO, null); + if (from.exists()) + continue; + } ICProjectDescription prjDesc = getProjectDescription(from); if (prjDesc == null)