| 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" "$@" | |