Update run.sh

run.sh

@@ -11,7 +11,7 @@ if [[ "${noheader}" != *" ${1} "* ]] && [[ "${noheader}" != *" ${2} "* ]]; then
 	# if [ "${1}" = "gui" ]; then
 	# 	DISP_HEADER
 	# fi
-	if curl -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 ""