#!/usr/bin/env bash
# Server dispatcher
set -euo pipefail
SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
exec bash "$SCRIPT_DIR/scripts/serve/launch.sh" "$@"
