diff --git a/.travis.yml b/.travis.yml index 79ee103521b..c921547b82e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -269,7 +269,13 @@ script: set -e wget -O - http://127.0.0.1 > test.html head test.html + set +e + echo + +- | echo "Checking webserver availability by a wget -O - http://127.0.0.1/index.php" + # Ensure we catch errors + set -e wget -O - http://127.0.0.1/index.php > test.php head test.php set +e diff --git a/htdocs/install/inc.php b/htdocs/install/inc.php index d821ad2b454..7c2895eb835 100644 --- a/htdocs/install/inc.php +++ b/htdocs/install/inc.php @@ -391,8 +391,9 @@ function pHeader($subtitle,$next,$action='set',$param='',$forcejqueryurl='',$css print ''."\n"; print ''."\n"; print '
'."\n"; - print ''."\n"; + print ''."\n"; print ''."\n"; + print ''."\n"; print ''."\n"; print ''."\n";