diff --git a/.ci/first_startup.sh b/.ci/first_startup.sh index e0700d9e81e..a05a3cf5388 100644 --- a/.ci/first_startup.sh +++ b/.ci/first_startup.sh @@ -1,15 +1,16 @@ -#!/bin/bash +#!/bin/sh TRIES=120 URL=http://localhost:8080 +EXIT_CODE=1 +i=0 echo "Testing for correct startup:" bash run.sh --daemon && \ -while [[ $i -le $TRIES ]] -do - curl "$URL" && EXIT_CODE=0 && break - sleep 1 - EXIT_CODE=1 - ((i = i + 1)) -done + while [ "$i" -le $TRIES ]; do + curl "$URL" && EXIT_CODE=0 && break + sleep 1 + i=$((i + 1)) + done +kill -9 "$(cat paster.pid)" echo "exit code:$EXIT_CODE, showing startup log:" cat paster.log exit $EXIT_CODE