#!/usr/bin/env bash

JAVA_HOME=$1
JETTY_HOME=$2
JETTY_BASE=$3

echo \${java.home}  : $JAVA_HOME
echo \${jetty.home} : $JETTY_HOME
echo \${jetty.base} : $JETTY_BASE

cd "$JETTY_BASE"

"$JAVA_HOME/bin/java" -jar "$JETTY_HOME/start.jar" \
    jetty.port=58080 \
    STOP.PORT=58181 STOP.KEY=it