| commit | 960cb832c609481b28ba2c6722ac16af6437d618 | [log] [tgz] |
|---|---|---|
| author | cbateman <cbateman> | Tue May 25 18:45:36 2010 +0000 |
| committer | cbateman <cbateman> | Tue May 25 18:45:36 2010 +0000 |
| tree | 6d32b2715a854365eab7128387e87f0178fb1c08 | |
| parent | 034a71ac03924ca1e7acea9ef0440261b9bc336d [diff] |
Fix for PMC_approved https://bugs.eclipse.org/bugs/show_bug.cgi?id=314145
diff --git a/jsf/plugins/org.eclipse.jst.jsf.core/src/org/eclipse/jst/jsf/designtime/internal/resources/WorkspaceResourceManager.java b/jsf/plugins/org.eclipse.jst.jsf.core/src/org/eclipse/jst/jsf/designtime/internal/resources/WorkspaceResourceManager.java index 0802668..d43e83c 100644 --- a/jsf/plugins/org.eclipse.jst.jsf.core/src/org/eclipse/jst/jsf/designtime/internal/resources/WorkspaceResourceManager.java +++ b/jsf/plugins/org.eclipse.jst.jsf.core/src/org/eclipse/jst/jsf/designtime/internal/resources/WorkspaceResourceManager.java
@@ -345,6 +345,15 @@ isInteresting = (reasonType == ReasonType.RESOURCE_DELETED_FROM_CONTAINER || reasonType == ReasonType.RESOURCE_MOVED_CONTAINER) && event.getAffectedResource().getParent() .equals(resource); + // ignore if my resource is web content and this is trying + // to add something other than resources folder + if (resource.equals(_vcQuery.getWebContentFolder(_project) + .getUnderlyingFolder())) + { + isInteresting &= event.getAffectedResource().equals( + getRootResourceFolder()); + } +// isInteresting &= (_isJSFResource || (resource.getType() == IResource.FOLDER && "resources".equals(resource.getName()))); //$NON-NLS-1$ // or if the resource being delted or moved is the root // folder and that is my resource. // isInteresting |= (reasonType ==