datalogs.sh

Go to the documentation of this file.

#!/bin/zsh
script=${0##*/}
 
if [ -z $JPP_DIR ]; then
    echo "Variable JPP_DIR undefined."
    exit
fi
 
source $JPP_DIR/setenv.sh $JPP_DIR  >&  /dev/null
 
set_variable:  DEBUG     DATABASE_DEBUG      2
set_variable:  WORKDIR   DATABASE_WORKDIR    `pwd`
 
if do_usage $*; then
    usage "$script <detector identifier> <run>[-<run>] [source [parameter]]"
fi
 
case $# in
    4)  set_variable  PARAMETER      $4;&
    3)  set_variable  SOURCE         $3;&
    2)  set_variable  RUNS           $2;
        set_variable  DETID          $1;;
    *)  fatal "Invalid number of arguments."
esac
 
set_variable  DETID        `getDetector -D $DETID -O string`
set_variable  FILENAME     $WORKDIR/${DETID}_${RUNS}${SOURCE+.}${SOURCE}.log
 
SELECTOR=(
    "detid=$DETID"
    "minrun=${RUNS%%-*}"
    "maxrun=${RUNS##*-}")
 
if [[ -n "$SOURCE"    ]]; then; SELECTOR+="source_name=$SOURCE";       fi
if [[ -n "$PARAMETER" ]]; then; SELECTOR+="parameter_name=$PARAMETER"; fi
 
if [[ ! -f ${FILENAME}.gz ]]; then
 
    wget \
        --load-cookies=$HOME/.km3netdb_cookie                                         \
        --secure-protocol=TLSv1_2                                                     \
        "https://km3netdbweb.in2p3.fr/streamds/datalogstrings.txt?${(j:&:)SELECTOR}"  \
        -O ${FILENAME}                                                                
 
    echo
 
    if (( $? == 0 )) && [[ `head ${FILENAME}` != "ERROR: "* ]]; then    
        gzip -v ${FILENAME}
    else
        fatal "wget error"
    fi
fi