2024-06-19 22:32:33 +00:00
|
|
|
#!/bin/bash
|
2024-03-17 18:05:02 +00:00
|
|
|
set -e
|
|
|
|
|
|
|
|
|
|
function do_ping() {
|
|
|
|
|
wget -q -O /dev/null --server-response "http://127.0.0.1:9000/health" 2>&1 | awk '/^ HTTP/{print $2}'
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
ping_result=$(do_ping)
|
|
|
|
|
echo "Ping result: $ping_result"
|
|
|
|
|
|
|
|
|
|
if [ "$ping_result" = "200" ]; then
|
|
|
|
|
exit 0
|
|
|
|
|
else
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
