diff --git a/run.sh b/run.sh index 2fa12d65..5e5fb3ee 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 10 -s --head --request GET https://git.schroedercity.com | grep "HTTP/2 200" > /dev/null; then + if curl -m 3 -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