diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-10-01 14:04:27 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-10-01 14:04:27 +0200 |
| commit | 506c6708cd59e98dfad67a76f08afa83a09fdc72 (patch) | |
| tree | 93779690a0014a2aa9562161a4edbcbac30593ba /installer/opengnsys_installer.sh | |
| parent | cb1fbed8767ad2b49be7ea2bedb226d64babab57 (diff) | |
#914: Installer and updater check HTTP and HTTPS connections to avoid proxy configuration errors.
Diffstat (limited to 'installer/opengnsys_installer.sh')
| -rwxr-xr-x | installer/opengnsys_installer.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/installer/opengnsys_installer.sh b/installer/opengnsys_installer.sh index 89c94082..f359f369 100755 --- a/installer/opengnsys_installer.sh +++ b/installer/opengnsys_installer.sh @@ -838,10 +838,12 @@ function checkNetworkConnection() { echoAndLog "${FUNCNAME}(): Checking OpenGnsys server connectivity." OPENGNSYS_SERVER=${OPENGNSYS_SERVER:-"opengnsys.es"} - if which wget &>/dev/null; then - wget --spider -q $OPENGNSYS_SERVER - elif which curl &>/dev/null; then - curl --connect-timeout 10 -s $OPENGNSYS_SERVER -o /dev/null + if which curl &>/dev/null; then + curl --connect-timeout 10 -s "https://$OPENGNSYS_SERVER/" -o /dev/null && \ + curl --connect-timeout 10 -s "http://$OPENGNSYS_SERVER/" -o /dev/null + elif which wget &>/dev/null; then + wget --spider -q "https://$OPENGNSYS_SERVER/" && \ + wget --spider -q "http://$OPENGNSYS_SERVER/" else echoAndLog "${FUNCNAME}(): Cannot execute \"wget\" nor \"curl\"." return 1 |