Jpp
JLigier-local.sh
Go to the documentation of this file.
1 #!/bin/zsh
2 #
3 # \author mdejong
4 #
5 script=${0##*/}
6 
7 # ------------------------------------------------------------------------------------------
8 #
9 # Utility script to run JLigier.
10 #
11 # ------------------------------------------------------------------------------------------
12 
13 if [ -z $JPP_DIR ]; then
14  echo "Variable JPP_DIR undefined."
15  exit
16 fi
17 
18 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
19 
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/
25 
26 if ( do_usage $* ); then
27  print -u2 "$script <option>"
28  print -u2 "Possible options: start, stop, continue, restart."
29  exit
30 fi
31 
32 case $# in
33  1) set_variable OPTION $1;;
34  *) usage;;
35 esac
36 
37 
38 if [[ $OPTION != "start" && $OPTION != "stop" && $OPTION != "continue" && $OPTION != "restart" ]]; then
39  fatal "Invalid option $OPTION."
40 fi
41 
42 if [[ $OPTION == "stop" || $OPTION == "restart" ]]; then
43 
44  PID=`get_pid $COMMAND`
45 
46  if [[ -n $PID ]]; then
47  notice "Stop $COMMAND on $HOST with PID $PID."
48  eval kill -9 $PID
49  fi
50 
51  OPTION=${OPTION/restart/start}
52 
53 elif [[ $OPTION == "continue" ]]; then
54 
55  PID=`get_pid $COMMAND`
56 
57  if [[ -n $PID ]]; then
58  notice "JLigier is running on $HOST with PID $PID."
59  else
60  OPTION=start
61  fi
62 
63 fi
64 
65 if [[ $OPTION = "start" ]]; then
66 
67  notice "Start $COMMAND on $HOST."
68  nohup $COMMAND -P $PORT -T $TIMEOUT -d $DEBUG --! >& $WORKDIR/ligier.log &
69 
70  sleep 5
71 
72  PID=`get_pid $COMMAND`
73  if [[ -n $PID ]]; then
74  notice "JLigier is running on $HOST with PID $PID."
75  else
76  error "JLigier is not running on $HOST."
77  fi
78 
79 fi
80