diff --git a/tools/run_server.sh b/tools/run_server.sh index f79be50ec..f5a8c546e 100755 --- a/tools/run_server.sh +++ b/tools/run_server.sh @@ -220,9 +220,9 @@ check_servers() if [ $(echo $FILE_END | grep -c "Session not valid. Please sign in.") -gt 0 ]; then show_message "Error: Check server: Session not valid" SUCCESS=0 - elif [ $(echo $FILE_END | grep curl_easy_perform | grep -c "Timeout was reached") -gt 0 ]; then - show_message "Error: Check server: Timeout was reached" - SUCCESS=0 +# elif [ $(echo $FILE_END | grep curl_easy_perform | grep -c "Timeout was reached") -gt 0 ]; then +# show_message "Error: Check server: Timeout was reached" +# SUCCESS=0 fi done