From c472b2a0a62d6b9b1e4e752c71262f5f227091b8 Mon Sep 17 00:00:00 2001 From: David Schroeder Date: Thu, 31 Aug 2023 21:51:53 -0500 Subject: [PATCH] Update run.sh --- run.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run.sh b/run.sh index 8ec98c55..2fa12d65 100755 --- a/run.sh +++ b/run.sh @@ -11,7 +11,7 @@ source /opt/idssys/nodemgmt/defaults.inc # if [[ "${noheader}" != *" ${1} "* ]] && [[ "${noheader}" != *" ${2} "* ]] && [ "${1}" != "status" ]; then if [ "${1}" == "update" ]; then - if curl -m 5 -s --head --request GET https://git.schroedercity.com | grep "HTTP/2 200" > /dev/null; then + if curl -m 10 -s --head --request GET https://git.schroedercity.com | grep "HTTP/2 200" > /dev/null; then if [ "${2}" != "q" ]; then echo -en "${idsCL[LightCyan]}Checking for updates...${idsCL[Default]}" echo