From cb2e6ace373dc559875db390030ef3e8e6660ac5 Mon Sep 17 00:00:00 2001
From: Ziver Koc <ziver@koc.se>
Date: Wed, 2 Aug 2017 00:01:20 +0200
Subject: [PATCH] added sleep to deployment

---
 build.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.xml b/build.xml
index 450401b..9730de2 100755
--- a/build.xml
+++ b/build.xml
@@ -65,6 +65,7 @@
 
     <target name="deploy" depends="package">
         <delete file="${deployPath}" quiet="true" />
+        <sleep seconds="1"/> <!-- Let Tomcat figure out to redeploy -->
         <copy
             file="${releaseDir}/Zallery.war"
             toFile="${deployPath}" />