Author: dgolovin
Date: 2007-10-31 20:16:08 -0400 (Wed, 31 Oct 2007)
New Revision: 4610
Modified:
trunk/seam/plugins/org.jboss.tools.seam.ui/src/org/jboss/tools/seam/ui/WorkaroundFor207146.java
Log:
http://jira.jboss.org/jira/browse/JBIDE-1238
if(event.getDelta()!=null) addedt before invocing any method on delta in resource change
event
Modified:
trunk/seam/plugins/org.jboss.tools.seam.ui/src/org/jboss/tools/seam/ui/WorkaroundFor207146.java
===================================================================
---
trunk/seam/plugins/org.jboss.tools.seam.ui/src/org/jboss/tools/seam/ui/WorkaroundFor207146.java 2007-11-01
00:16:06 UTC (rev 4609)
+++
trunk/seam/plugins/org.jboss.tools.seam.ui/src/org/jboss/tools/seam/ui/WorkaroundFor207146.java 2007-11-01
00:16:08 UTC (rev 4610)
@@ -43,7 +43,7 @@
public static class WebContentUpdater implements IResourceChangeListener {
public void resourceChanged(IResourceChangeEvent event) {
- if (event.getType() != IResourceChangeEvent.POST_CHANGE) {
+ if (event.getType() != IResourceChangeEvent.POST_CHANGE || event.getDelta()==null) {
//SeamGuiPlugin.getDefault().logInfo("No reason to run");
return;
}