#!/usr/bin/env bash
set -euo pipefail
lab_dir="$(cd "$(dirname "$0")" && pwd)"
: "${JAVA_HOME:?Set JAVA_HOME to JDK 21}"
: "${PLAY_LAB_SBT_LAUNCHER:?Set PLAY_LAB_SBT_LAUNCHER}"
cd "$lab_dir"
exec "$JAVA_HOME/bin/java" --add-opens=java.base/java.lang=ALL-UNNAMED -Xms256m -Xmx1536m -Dsbt.supershell=false -Dsbt.log.noformat=true -Dsbt.server.autostart=false ${PLAY_LAB_JVM_ARGS:-} -jar "$PLAY_LAB_SBT_LAUNCHER" "$@"
