File size: 327 Bytes
77da5ce
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#!/usr/bin/env bash

set -euo pipefail

ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
VENV_PYTHON="${ROOT_DIR}/.venv/bin/python"

if [[ ! -x "${VENV_PYTHON}" ]]; then
  echo "error: ${VENV_PYTHON} not found. Run ./setup.sh first." >&2
  exit 1
fi

cd "${ROOT_DIR}"
exec "${VENV_PYTHON}" "${ROOT_DIR}/server.py" "$@"