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