diff --git a/run.sh b/run.sh index b2dff41..e935369 100755 --- a/run.sh +++ b/run.sh @@ -26,7 +26,7 @@ if [ ! -f /opt/idssys/mediamanager/mm.checking ]; then # if [ "${1}" = "gui" ]; then # DISP_HEADER # fi - if curl -m 2 -s --head --request GET https://git.schroedercity.com | grep "HTTP/2 200" > /dev/null; then + if curl -m 15 -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 ""