From 974228a7842031ffa2ca2c081ac4382551d32cd3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81lvaro=20Brey?= Date: Tue, 17 Jan 2023 09:28:47 +0100 Subject: [PATCH] Increase wait time for wait_for_server MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This script waits for the server to wake up during CI before launching tests. In this library it only waited for 100 seconds instead of the 500 seconds it waits in the Files app. This caused "failed to wait for server" in some occasions where the server image needs to be downloaded and there's slow internet or poor performance. Signed-off-by: Álvaro Brey --- scripts/wait_for_server.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/wait_for_server.sh b/scripts/wait_for_server.sh index 5e1eb1bb9..c30e32efb 100755 --- a/scripts/wait_for_server.sh +++ b/scripts/wait_for_server.sh @@ -10,7 +10,7 @@ until [[ $status = "false" ]]; do if [[ "$status" =~ "false" || "$status" = "" ]]; then let "counter += 1" - if [[ $counter -gt 10 ]]; then + if [[ $counter -gt 50 ]]; then echo "Failed to wait for server" exit 1 fi