4 if [ -z $JPP_DIR ]; then
5 echo "Variable JPP_DIR undefined."
9 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
12 usage "$script <detector identifier> <run>"
15 if (( $# == 2 )); then
17 set_variable DETECTOR $1
19 fatal "Wrong number of arguments."
28 -d 0 | read RUNSETUPID
30 $JPP_DIR/examples/JDB/JPrintRunsetup \