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."