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

    echo -n "Downloading data... "

    wget \
        --load-cookies=$HOME/.km3netdb_cookie                                         \
        --secure-protocol=TLSv1_2                                                     \
        "https://km3netdbweb.in2p3.fr/streamds/datalogstrings.txt?${(j:&:)SELECTOR}"  \
        -O ${FILENAME}                                                                >& $WORKDIR/wget.log

    if (( $? == 0 )) && [[ `cat ${FILENAME}` != "ERROR: Input string was not in a correct format." ]]; then

        gzip ${FILENAME}

        echo "OK => ${FILENAME}.gz"
    else
        echo "error => $WORKDIR/wget.log"
    fi
fi