Author: rob.stryker(a)jboss.com
Date: 2007-09-27 16:19:05 -0400 (Thu, 27 Sep 2007)
New Revision: 3875
Modified:
trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/publishers/JstPublisher.java
trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/util/FileUtil.java
Log:
"Full publish" action now forcefully changes xml file timestamps to *force* a
redeploy.
Modified:
trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/publishers/JstPublisher.java
===================================================================
---
trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/publishers/JstPublisher.java 2007-09-27
18:35:52 UTC (rev 3874)
+++
trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/publishers/JstPublisher.java 2007-09-27
20:19:05 UTC (rev 3875)
@@ -22,6 +22,7 @@
package org.jboss.ide.eclipse.as.core.publishers;
import java.io.File;
+import java.io.FileFilter;
import java.io.IOException;
import org.eclipse.core.resources.IFile;
@@ -106,7 +107,15 @@
PublishUtil.publishFull(members, deployPath, monitor);
else
packModuleIntoJar(moduleTree[moduleTree.length-1], getDeployPath(moduleTree));
-
+
+ FileFilter filter = new FileFilter() {
+ public boolean accept(File pathname) {
+ if( pathname.getAbsolutePath().toLowerCase().endsWith(".xml"))
+ return true;
+ return false;
+ }
+ };
+ FileUtil.touch(filter, deployPath.toFile(), true);
return null;
}
Modified:
trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/util/FileUtil.java
===================================================================
---
trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/util/FileUtil.java 2007-09-27
18:35:52 UTC (rev 3874)
+++
trunk/as/plugins/org.jboss.ide.eclipse.as.core/jbosscore/org/jboss/ide/eclipse/as/core/util/FileUtil.java 2007-09-27
20:19:05 UTC (rev 3875)
@@ -22,8 +22,10 @@
package org.jboss.ide.eclipse.as.core.util;
import java.io.File;
+import java.io.FileFilter;
import java.io.FileInputStream;
import java.io.FileOutputStream;
+import java.util.Date;
public class FileUtil {
@@ -123,5 +125,16 @@
}
}
-
+ public static void touch(FileFilter filter, File root, boolean recurse) {
+ if( filter.accept(root))
+ root.setLastModified(new Date().getTime());
+ if( recurse && root.isDirectory() ) {
+ File[] children = root.listFiles();
+ if( children != null ) {
+ for( int i = 0; i < children.length; i++ ) {
+ touch(filter, children[i], recurse);
+ }
+ }
+ }
+ }
}
Show replies by date