106054
#!/bin/bash
106054
106054
if [ -z "$JETTY_PID" ]
106054
then
106054
   export JETTY_PID=/dev/null
106054
fi
106054
106054
if [ -z "$JETTY_PORT" ]
106054
then
106054
   export JETTY_PORT=8088
106054
fi
106054
106054
export JETTY_HOME=/usr/share/jetty
106054
if [ -z "$JETTY_HOME" ] 
106054
then
106054
  JETTY_HOME_1=`dirname "$0"`
106054
  JETTY_HOME_1=`dirname "$JETTY_HOME_1"`
106054
  JETTY_HOME=${JETTY_HOME_1} 
106054
fi
106054
106054
cd $JETTY_HOME
106054
106054
# Try to create work directory if not exists
106054
if [ ! -d work ]; then
106054
    (umask 022 && mkdir -p "$(readlink -f work)")
106054
fi
106054
106054
exec /usr/bin/java -Djetty.class.path=/usr/share/java/commons-logging.jar -Djetty.port=$JETTY_PORT  -jar start.jar etc/jetty-logging.xml etc/jetty.xml 2>/dev/null &
106054
echo $! >$JETTY_PID
106054