Merge branch 'rhunault-remove-ping' into 'master'

Remove ping See merge request !9

Merge branch 'rhunault-remove-ping' into 'master'
Remove ping See merge request !9
070cb7f6 · Romain Hunault · f2a25500 · dd285a1f · 070cb7f6 · 070cb7f6
Commit 070cb7f6 authored Oct 10, 2019 by Romain Hunault
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

get-androidfilehost.sh get-androidfilehost.sh +1 -1

get-from-ecloud.sh get-from-ecloud.sh +2 -1

No files found.
--- a/get-androidfilehost.sh
+++ b/get-androidfilehost.sh
@@ -49,7 +49,7 @@ function check_md5sum () {
  exit $?
 }

-if ! ping -c 1 gitlab.e.foundation 2>&1 >/dev/null
+if ! curl -s -IL https://gitlab.e.foundation | grep -q "^HTTP\/2 200"
 then
  exit 10
 fi

--- a/get-from-ecloud.sh
+++ b/get-from-ecloud.sh
@@ -37,7 +37,8 @@
 ARCHIVE_URL=$1
 FOLDER=$2

-if ! ping -c 1 gitlab.e.foundation 2>&1 >/dev/null
+
+if ! curl -s -IL https://gitlab.e.foundation | grep -q "^HTTP\/2 200"
 then
  exit 10
 fi