7 # ------------------------------------------------------------------------------------------
9 # Utility script to remotely 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 HOST `get_ip_address`
24 usage "$script [<host name> [port]] <option>"\
25 "\nPossible options: start, stop, continue, restart."
29 3) set_variable OPTION $3
31 set_variable HOST $1;;
32 2) set_variable OPTION $2
33 set_variable HOST $1;;
34 1) set_variable OPTION $1;;
38 ssh $HOST "zsh -c '(source $JPP_DIR/setenv.sh $JPP_DIR && JLigier-local.sh $PORT $OPTION)'"