[jbosstools-commits] JBoss Tools SVN: r42115 - trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/markers.
jbosstools-commits at lists.jboss.org
jbosstools-commits at lists.jboss.org
Wed Jun 20 13:04:25 EDT 2012
Author: scabanovich
Date: 2012-06-20 13:04:24 -0400 (Wed, 20 Jun 2012)
New Revision: 42115
Modified:
trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/markers/XMarkerManager.java
Log:
JBIDE-12221
https://issues.jboss.org/browse/JBIDE-12221
Delta is checked for null. Cache is cleaned for project closing event in the same way as it is for removal event.
Modified: trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/markers/XMarkerManager.java
===================================================================
--- trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/markers/XMarkerManager.java 2012-06-20 16:07:38 UTC (rev 42114)
+++ trunk/common/plugins/org.jboss.tools.common.model/src/org/jboss/tools/common/model/markers/XMarkerManager.java 2012-06-20 17:04:24 UTC (rev 42115)
@@ -44,13 +44,18 @@
}
public void resourceChanged(IResourceChangeEvent event) {
- if(event.getType() == IResourceChangeEvent.PRE_DELETE && event.getResource() instanceof IProject) {
+ if((event.getType() == IResourceChangeEvent.PRE_DELETE
+ || event.getType() == IResourceChangeEvent.PRE_CLOSE)
+ && event.getResource() instanceof IProject) {
IProject p = (IProject)event.getResource();
clear(p.getFullPath());
return;
}
+ IResourceDelta delta = event.getDelta();
try {
- event.getDelta().accept(visitor);
+ if(delta != null) {
+ delta.accept(visitor);
+ }
} catch (CoreException e) {
ModelPlugin.getDefault().logError(e);
}
More information about the jbosstools-commits
mailing list