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

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

set_variable  FILENAME     $WORKDIR/${DETID}_${RUNS}${SOURCE+.}${SOURCE}.log

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