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 \