#! /bin/sh

if [ -z "$DAISY_HOME" ] ; then
  echo "DAISY_HOME not set!"
  exit 1
fi

DAISYWIKI_HOME="$DAISY_HOME/daisywiki"

cd $DAISYWIKI_HOME/jetty
$JAVA_HOME/bin/java -Xmx128m -Djava.endorsed.dirs=$DAISYWIKI_HOME/endorsedlibs/ -Ddaisywiki.home=$DAISYWIKI_HOME -Dfile.encoding=UTF-8 -jar start.jar ../conf/jetty-daisywiki.xml