#!/usr/bin/env bash
set -euo pipefail
ROOT="$(cd "$(dirname "$0")" && pwd)"
mkdir -p "$ROOT/dev-webroot/panaf"
ln -sfn "$ROOT/portal" "$ROOT/dev-webroot/panaf/portal"
PORT="${1:-8090}"
echo "Serving PANAF portal on http://127.0.0.1:${PORT}/panaf/portal/tps.html"
echo "DB: panaf_portal"
exec php -d display_errors=1 -S "127.0.0.1:${PORT}" -t "$ROOT/dev-webroot" "$ROOT/router.php"