9 if [ -z $JPP_DIR ]; then
 
   10     echo "Variable JPP_DIR undefined."
 
   14 source $JPP_DIR/setenv.sh $JPP_DIR
 
   16 set_variable:  DEBUG    COMPASS_DEBUG    2
 
   17 set_variable:  WORKDIR  COMPASS_WORKDIR  ./
 
   20     usage "$script <detector identifier>"\
 
   21           "\nAuxiliary script to download compass calibration data from database."
 
   24 if (( $# != 1 )); then
 
   25     fatal "Wrong number of parameters."
 
   28 set_variable     DETECTOR_ID             $argv[1]
 
   29 set_variable     AHRS_CALIBRATION_FILE   $WORKDIR/ahrs_calibration.txt
 
   33 if [[ ! -f $AHRS_CALIBRATION_FILE ]]; then
 
   37         -o $AHRS_CALIBRATION_FILE      \