| 123456789101112131415161718 |
- #!/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
|
