openenv/browsergym_env

1#!/usr/bin/env bash2set -euo pipefail3 4MINIWOB_HTML_DIR=${MINIWOB_HTML_DIR:-/app/miniwob-plusplus/miniwob/html}5MINIWOB_HTTP_PORT=${MINIWOB_HTTP_PORT:-8888}6BROWSERGYM_PORT=${BROWSERGYM_PORT:-8000}7 8if [ ! -d "${MINIWOB_HTML_DIR}" ]; then9    echo "MiniWoB HTML directory not found at ${MINIWOB_HTML_DIR}" >&210    exit 111fi12 13python -m http.server "${MINIWOB_HTTP_PORT}" --bind 0.0.0.0 --directory "${MINIWOB_HTML_DIR}" &14HTTP_SERVER_PID=$!15 16sleep 117if ! kill -0 "${HTTP_SERVER_PID}" 2>/dev/null; then18    echo "Failed to start MiniWoB static server on port ${MINIWOB_HTTP_PORT}" >&219    exit 120fi21 22cleanup() {23    kill "${HTTP_SERVER_PID}" 2>/dev/null || true24}25 26trap cleanup EXIT INT TERM27 28exec python -m uvicorn browsergym_env.server.app:app --host 0.0.0.0 --port "${BROWSERGYM_PORT}"29 30