From 7cecc9e5a9e153336e1d927d465fb7597ffc9299 Mon Sep 17 00:00:00 2001 From: James Blackburn Date: Thu, 24 Jun 2010 16:01:30 +0000 Subject: [PATCH] Bug 317783 Resource filters don't appear to work -- work-around for platform issue in 3.6 --- .../internal/core/settings/model/ResourceChangeHandler.java | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 3de2bd5f08b..fc0841e672e 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 @@ -204,7 +204,9 @@ public class ResourceChangeHandler extends ResourceChangeHandlerBase implements // Bug 311189 -- if the resource still exists now, don't treat as a remove! if (to == null) { - from.refreshLocal(IResource.DEPTH_ZERO, null); + // Workaround for platform Bug 317783 + if (from.getWorkspace().validateFiltered(from).isOK()) + from.refreshLocal(IResource.DEPTH_ZERO, null); if (from.exists()) continue; }