Spaces:
Running
Running
File size: 1,249 Bytes
22de727 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 | #!/bin/bash
# Reset the given WebArena instances (default 1-4), then wait until every site serves. A site still down 15 min after
# its reset (GitLab, twice in our runs) gets its own reset and another wait. Instance i serves shopping, shopping_admin,
# reddit and gitlab on ports 8081+100(i-1) .. +3 of WA_HOST; miniwebagent.wa reads the same layout.
H=${WA_HOST:-127.0.0.1}
TOKEN=${WA_RESET_TOKEN:?set WA_RESET_TOKEN to the reset API token}
INST="${@:-1 2 3 4}"
"$(dirname "$0")/reset.sh" $INST
serving() { [ "$(curl -s -m 30 -o /dev/null -w '%{http_code}' "$1")" = "200" ]; }
wait_url() { for k in $(seq 1 30); do serving "$1" && return 0; sleep 30; done; return 1; }
for i in $INST; do
b=$((8081 + (i - 1) * 100))
for site in shopping:$b/ shopping_admin:$((b + 1))/admin reddit:$((b + 2))/forums/all gitlab:$((b + 3))/users/sign_in; do
name=${site%%:*}; u="http://$H:${site#*:}"
if ! wait_url "$u"; then
echo "instance $i: $name still down after 15 min; resetting it again"
curl -s -m 900 -X POST -H "Authorization: Bearer $TOKEN" "http://127.0.0.1:$((8090 + i))/reset/$name" | head -c 200; echo
wait_url "$u" || { echo "instance $i: $name DOWN"; exit 1; }
fi
done
echo "instance $i: all sites serving"
done
|