This repository has been archived on 2021-12-12. You can view files and clone it, but cannot push or open issues or pull requests.
2020-02-22 14:44:39 +01:00
|
|
|
#!/usr/bin/env sh
|
2019-07-22 00:38:49 +02:00
|
|
|
|
|
|
|
|
set -eo pipefail
|
2020-02-22 14:44:39 +01:00
|
|
|
|
2019-09-29 12:15:45 +02:00
|
|
|
URL=http://localhost:8080
|
2019-07-22 00:38:49 +02:00
|
|
|
|
|
|
|
|
wget --quiet --tries=1 --spider ${URL}
|
|
|
|
|
[ $? -ne 0 ] && exit 1
|
|
|
|
|
|
2019-07-24 09:53:24 +02:00
|
|
|
CONTENT=$(wget --quiet -O - ${URL})
|
|
|
|
|
case "$CONTENT" in
|
|
|
|
|
*"Internal Error"*) exit 1 ;;
|
|
|
|
|
esac
|
|
|
|
|
|
2019-07-22 00:38:49 +02:00
|
|
|
exit 0
|
