#!/bin/sh

if test -z "$JETTY_HOME" ; then
  echo "JETTY_HOME environment variable not specified"
  exit 1
fi

if test -f "$JETTY_HOME/logs/jetty.pid" ; then
  echo "Stale Jetty PID file in $JETTY_HOME/logs/jetty.pid"
  exit 1
fi

"$JETTY_HOME/bin/jetty" -server -Xms512m -Xmx512m \
  -DLOG_FILE="$COCOON_HOME/logs/cocoon-yyyy_mm_dd.log" \
  < /dev/null > "$COCOON_HOME/logs/cocoon.out" 2>&1 &