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 \