diff --git a/runs/setup_network.sh b/runs/setup_network.sh index 76854d548f..f3da7a03b3 100755 --- a/runs/setup_network.sh +++ b/runs/setup_network.sh @@ -63,7 +63,7 @@ function setup_pnp_network() { } function check_internet_connection() { - if curl -s --head --request GET "https://www.github.com" >/dev/null; then + if curl -s --head --connect-timeout 3 --request GET "https://www.github.com" >/dev/null; then echo "Internet connection is up" else echo "ERROR: no internet connection!"