4if [ -z $JPP_DIR ]; then
5 echo "Variable JPP_DIR undefined."
9source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
11set_variable DIR $JPP_DIR/examples/JDB/
14 usage "$script <detector identifier>"
18 1) set_variable DETECTOR $1;;
19 *) fatal "Wrong number of arguments."