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