7 # ------------------------------------------------------------------------------------------
 
    9 #                             Utility script to run JLigier.
 
   11 # ------------------------------------------------------------------------------------------
 
   13 if [ -z $JPP_DIR ]; then
 
   14     echo "Variable JPP_DIR undefined."
 
   18 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
 
   20 set_variable   PORT      5553
 
   21 set_variable   TIMEOUT   3000
 
   22 set_variable   DEBUG     ${LIGIER_DEBUG:-1}
 
   23 set_variable   COMMAND   JLigier
 
   24 set_variable   WORKDIR   /tmp/
 
   26 if ( do_usage $* ); then
 
   27     print -u2 "$script <option>"
 
   28     print -u2 "Possible options: start, stop, continue, restart."
 
   33     1) set_variable OPTION $1;;
 
   38 if   [[ $OPTION != "start" && $OPTION != "stop" && $OPTION != "continue" && $OPTION != "restart" ]]; then
 
   39     fatal "Invalid option $OPTION."    
 
   42 if   [[ $OPTION == "stop" || $OPTION == "restart" ]]; then
 
   44     PID=`get_pid $COMMAND`
 
   46     if [[ -n $PID ]]; then 
 
   47    notice "Stop $COMMAND on $HOST with PID $PID."
 
   51     OPTION=${OPTION/restart/start}
 
   53 elif [[ $OPTION == "continue" ]]; then
 
   55     PID=`get_pid $COMMAND`
 
   57     if [[ -n $PID ]]; then 
 
   58    notice "JLigier is running on $HOST with PID $PID."
 
   65 if [[ $OPTION = "start" ]]; then
 
   67     notice "Start $COMMAND on $HOST."
 
   68     nohup $COMMAND -P $PORT -T $TIMEOUT -d $DEBUG --! >& $WORKDIR/ligier.log &
 
   72     PID=`get_pid $COMMAND`
 
   73     if [[ -n $PID ]]; then 
 
   74    notice "JLigier is running on $HOST with PID $PID."
 
   76    error  "JLigier is not running on $HOST."