[169335] Pause after publishing to JBoss
diff --git a/plugins/org.eclipse.jst.server.generic.jboss/buildfiles/jboss323.xml b/plugins/org.eclipse.jst.server.generic.jboss/buildfiles/jboss323.xml
index f720ca4..e4ff370 100644
--- a/plugins/org.eclipse.jst.server.generic.jboss/buildfiles/jboss323.xml
+++ b/plugins/org.eclipse.jst.server.generic.jboss/buildfiles/jboss323.xml
@@ -1,4 +1,7 @@
<project name="deployextension" default="deploy.j2ee.web" basedir=".">
+ <property name="pause.deploy" value="10"/>
+ <property name="pause.undeploy" value="5"/>
+
<target name="deploy.j2ee.web">
<jar destfile="${project.working.dir}/${module.name}.war">
<zipfileset dir="${module.dir}">
@@ -7,6 +10,7 @@
</zipfileset>
</jar>
<move file="${project.working.dir}/${module.name}.war" todir="${server.publish.dir}"/>
+ <sleep seconds="${pause.deploy}"/>
</target>
<target name="deploy.j2ee.ejb">
@@ -17,6 +21,7 @@
</zipfileset>
</jar>
<move file="${project.working.dir}/${module.name}.jar" todir="${server.publish.dir}"/>
+ <sleep seconds="${pause.deploy}"/>
</target>
<target name="deploy.j2ee.ear">
<jar destfile="${project.working.dir}/${module.name}.ear">
@@ -26,16 +31,20 @@
</zipfileset>
</jar>
<move file="${project.working.dir}/${module.name}.ear" todir="${server.publish.dir}"/>
+ <sleep seconds="${pause.deploy}"/>
</target>
<target name="undeploy.j2ee.web">
<delete file="${server.publish.dir}/${module.name}.war"> </delete>
+ <sleep seconds="${pause.undeploy}"/>
</target>
<target name="undeploy.j2ee.ejb">
<delete file="${server.publish.dir}/${module.name}.jar"> </delete>
+ <sleep seconds="${pause.undeploy}"/>
</target>
<target name="undeploy.j2ee.ear">
<delete file="${server.publish.dir}/${module.name}.ear"> </delete>
+ <sleep seconds="${pause.undeploy}"/>
</target>
</project>
\ No newline at end of file