7# ------------------------------------------------------------------------------------------
9# Utility script to remotely run JLigier.
11# ------------------------------------------------------------------------------------------
13if [ -z $JPP_DIR ]; then
14 echo "Variable JPP_DIR undefined."
18source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
21set_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;;
35 *) fatal "Wrong number of arguments."
38ssh $HOST "zsh -c '(source $JPP_DIR/setenv.sh $JPP_DIR && JLigier-local.sh $PORT $OPTION)'"