#!/usr/bin/env bash set -euo pipefail SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" cd "$SCRIPT_DIR" ./killserver.sh ./run.sh MAX_WAIT=20 for i in $(seq 1 "$MAX_WAIT"); do if curl -sS http://127.0.0.1:8501/ >/dev/null 2>&1; then break fi sleep 0.5 done curl -sS http://127.0.0.1:8501/ | jq .tools