4 if [ -z $JPP_DIR ]; then
 
    5     echo "Variable JPP_DIR undefined."
 
    9 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
 
   11 set_variable:  DEBUG           ARCHIVE_DEBUG          2
 
   12 set_variable:  WORKDIR         ARCHIVE_WORKDIR        ${TMPDIR:-/tmp}/
 
   15     usage "$script <archive> <detector identifier> [version]"\
 
   16           "\nAuxiliary script to retrieve pre-calibration results from archive."
 
   19 if (( $# != 2 )) && (( $# != 3 )); then
 
   20     fatal "Wrong number of arguments."
 
   23 set_variable  ARCHIVE         $argv[1]
 
   24 set_variable  ID              $argv[2]
 
   25 set_variable  VERSION         $argv[3]
 
   27 source JAcousticsToolkit.sh
 
   31 if [[ ! -f $ACOUSTICS_DETECTOR ]]; then
 
   32     archive-get-Detector.sh  $ARCHIVE  $ID  $RUN  detector  $ACOUSTICS_DETECTOR  $VERSION
 
   35 eval `JPrintDetector -a $ACOUSTICS_DETECTOR -O IDENTIFIER`
 
   37 if (( $DETECTOR_ID != $ID )); then
 
   38     fatal "Inconsistent detector identifiers $DETECTOR_ID != $ID"
 
   41 for KEY in $ACOUSTICS_AUXS[*]; do
 
   42     if [[ ! -f $KEY.txt ]]; then
 
   43         getFile.sh  $ARCHIVE  $ID  $RUN  $KEY  $VERSION  $KEY