#!/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" "$@"