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>"
 
   16     1)  set_variable DETECTOR   $1;;
 
   17     *) fatal "Wrong number of arguments."
 
   24     -d  1 | sort -n -k 1,1 | awk 'NR==1 { printf("%d", $1) } END { printf(" %d\n", $1) }'