# Load properties that become environment variables
# NOTE: it would be possible to specify a normal java properties file after the 'start.jar'

JETTY_BIN_DIR=`dirname "$0"`
if [ ${JETTY_BIN_DIR#/} == ${JETTY_BIN_DIR} ]; then
    JETTY_BIN_DIR="`pwd`/${JETTY_BIN_DIR}"
fi

source "$JETTY_BIN_DIR"/jetty.properties
source "$JETTY_BIN_DIR"/openbis.conf
cd "$JETTY_BIN_DIR"/..

JVM=java
if [ -n "$JAVA_HOME" ]; then
    JVM="$JAVA_HOME"/bin/java
fi