Extend startup time

galaxyproject · Aug 10, 2016 · e35c629 · e35c629
1 parent fd3c875
commit e35c629
Showing 1 changed file with 11 additions and 2 deletions.
diff --git a/.ci/first_startup.sh b/.ci/first_startup.sh
@@ -1,6 +1,15 @@
+#!/bin/bash
+TRIES=120
+URL=http://localhost:8080
 echo "Testing for correct startup:"
-bash run.sh --daemon && sleep 30s && curl -I localhost:8080
-EXIT_CODE=$?
+bash run.sh --daemon && \
+while [[ $i -le $TRIES ]]
+do
+    curl "$URL" && EXIT_CODE=0 && break
+    sleep 1
+    EXIT_CODE=1
+    ((i = i + 1))
+done
 echo "exit code:$EXIT_CODE, showing startup log:"
 cat paster.log
 exit $EXIT_CODE