add explicit timeout for integration full exit
@@ -6,8 +6,19 @@ trap cat_logs EXIT
SERVER_PID=""
PROVER_PID=""
+TIMEOUT_PID=""
+
+function timeout() {
+ sleep 1200
+ echo "Timeout is reached"
+ kill -s TERM "$1"
+}
+
+timeout "$$" &
+TIMEOUT_PID=$!
function cat_logs() {
+ echo "Termination started"
# Wait for server to finish any ongoing jobs
sleep 60
@@ -15,6 +26,7 @@ function cat_logs() {
set +e
kill -9 $SERVER_PID
kill -9 $PROVER_PID
+ kill -9 $TIMEOUT_PID
echo Server logs:
cat integration-server.log
echo ===========
