jetty/rc.jetty

   1 #!/bin/bash
   2
   3 # general config
   4 . /etc/rc.conf
   5 . /etc/rc.d/functions
   6
   7 # set Jetty's variables
   8 . /etc/conf.d/jetty
   9
  10 case "$1" in
  11   start)
  12     stat_busy "Starting Jetty Servlet Container"
  13       cd $JETTY_HOME
  14       $JAVA_HOME/bin/java -jar $JAVA_OPTS start.jar $JETTY_OPTS >> /var/log/jetty.log 2>&1 &
  15       echo $! > /var/run/jetty.pid
  16     if [ $? -gt 0 ]; then
  17       stat_fail
  18     else
  19       add_daemon jetty
  20       stat_done
  21     fi
  22     ;;
  23   stop)
  24     stat_busy "Stopping Jetty Servlet Container"
  25     cd $JETTY_HOME
  26     [ -e /var/run/jetty.pid ] && PID=`cat /var/run/jetty.pid`
  27     [ ! -z "$PID" ] && kill $PID &> /dev/null
  28     if [ $? -gt 0 ]; then
  29       stat_fail
  30     else
  31       rm_daemon jetty
  32       rm -f /var/run/jetty.pid
  33       stat_done
  34     fi
  35     ;;
  36   restart)
  37     $0 stop
  38     sleep 3
  39     $0 start
  40     ;;
  41   *)
  42     echo "usage: $0 {start|stop|restart}"
  43 esac