#!/bin/bash
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