Commit 86de4da3 authored by Kroese's avatar Kroese Committed by GitHub
Browse files

Increase curl timeout

parent 04cf3396

run/check.sh

+1 −1
Original line number Diff line number Diff line
@@ -2,7 +2,7 @@ 
set -u



# Retrieve guest info for Docker healthcheck

RESPONSE=$(curl -s -m 5 -S http://127.0.0.1:2210/read?command=10 2>&1)

RESPONSE=$(curl -s -m 6 -S http://127.0.0.1:2210/read?command=10 2>&1)



if [[ ! "${RESPONSE}" =~ "\"success\"" ]] ; then

  echo "Failed to connect to guest: $RESPONSE"