File size: 126 Bytes
91e7690
 
 
 
 
 
 
1
2
3
4
5
6
7
#!/usr/bin/env bash
set -euo pipefail

DIR="$(cd "$(dirname "$0")" && pwd)"
ROOT="${DIR}/.."

exec "${ROOT}/run_env_server.sh"