From 86de4da3ca26953705be36722ae6c30f31d65fbd Mon Sep 17 00:00:00 2001
From: Kroese <kroese@users.noreply.github.com>
Date: Mon, 8 May 2023 22:46:59 +0200
Subject: [PATCH] Increase curl timeout

---
 run/check.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/run/check.sh b/run/check.sh
index 5ffab1f..b9024f3 100644
--- a/run/check.sh
+++ b/run/check.sh
@@ -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"