Update run.sh

This commit is contained in:
2023-01-01 16:42:57 -06:00
parent 79155c4a35
commit b7a291813e

2
run.sh
View File

@@ -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 ""