Blame SOURCES/djetty.script

649839
#!/bin/bash
649839
649839
if [ -z "$JETTY_PID" ]
649839
then
649839
   export JETTY_PID=/dev/null
649839
fi
649839
649839
if [ -z "$JETTY_PORT" ]
649839
then
649839
   export JETTY_PORT=8088
649839
fi
649839
649839
export JETTY_HOME=/usr/share/jetty
649839
if [ -z "$JETTY_HOME" ] 
649839
then
649839
  JETTY_HOME_1=`dirname "$0"`
649839
  JETTY_HOME_1=`dirname "$JETTY_HOME_1"`
649839
  JETTY_HOME=${JETTY_HOME_1} 
649839
fi
649839
649839
cd $JETTY_HOME
649839
649839
# Try to create work directory if not exists
649839
if [ ! -d work ]; then
649839
    (umask 022 && mkdir -p "$(readlink -f work)")
649839
fi
649839
649839
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 &
649839
echo $! >$JETTY_PID
649839