#!/bin/bash


# look for JETTY_HOME
if [ -z "$JETTY_HOME" ] 
then
  JETTY_HOME_1=`dirname "$0"`
  JETTY_HOME_1=`dirname "$JETTY_HOME_1"`
  JETTY_HOME=${JETTY_HOME_1} 
fi

cd $JETTY_HOME
exec /usr/bin/java -Djetty.port=8088 -jar start.jar etc/jetty.xml etc/jetty-xinetd.xml