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.
|
#!/usr/bin/env sh
|
|
|
|
set -eo pipefail
|
|
|
|
URL=http://127.0.0.1:8080
|
|
|
|
wget --quiet --tries=1 --spider ${URL}
|
|
[ $? -ne 0 ] && exit 1
|
|
|
|
CONTENT=$(wget --quiet -O - ${URL})
|
|
case "$CONTENT" in
|
|
*"Internal Error"*) exit 1 ;;
|
|
esac
|
|
|
|
exit 0
|