4if [ -z $JPP_DIR ]; then
5 echo "Variable JPP_DIR undefined."
9source $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) }'