#!/bin/bash
set -euo pipefail
nanojev_root="$(cd -- "$(dirname -- "$0")" && pwd)"
nanojev_python="$nanojev_root/.venv/bin/python"
[[ -x "$nanojev_python" ]] || { printf '%s\n' 'Run setup.command first.' >&2; exit 1; }
exec "$nanojev_python" -u "$nanojev_root/python/server.py" "$@"