datalogs.sh File Reference

Go to the source code of this file.

Variables
	script
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR &dev null	set_variable
then usage $script< detector identifier >< run > fi case set_variable	PARAMETER
&set_variable	SOURCE
&set_variable	RUNS
set_variable	DETID
*fatal Invalid number of arguments esac	SELECTOR
	then
fi	if [[-n"$PARAMETER"]]
fi set_variable FILENAME	$WORKDIR
then wget load	cookies

Variable Documentation

script

Initial value:

=${0##*/}

if [ -z $JPP_DIR ]

Definition at line 2 of file datalogs.sh.

then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR& dev null set_variable

Definition at line 14 of file datalogs.sh.

then usage $script<detector identifier><run> fi case set_variable PARAMETER

Definition at line 19 of file datalogs.sh.

& set_variable SOURCE

Definition at line 20 of file datalogs.sh.

do echo Processing $INPUT_FILE JPrintDAQHeader f $INPUT_FILE read DETECTOR_ID RUN FRAME_INDEX UTC getUTC f $INPUT_FILE read A UTC RUNS

Initial value:

=($RUN)
    
    set_variable  DETECTOR      $WORKDIR/KM3NeT_${(l:8::0::0:)DETECTOR_ID}_${(l:8::0::0:)RUN}.detx

    if ( ! reuse_file $DETECTOR )

Definition at line 21 of file datalogs.sh.

set_variable DETID

Definition at line 22 of file datalogs.sh.

SELECTOR

Initial value:

=(
    "detid=$DETID"
    "minrun=${RUNS%%-*}"
    "maxrun=${RUNS##*-}")

if [[ -n "$SOURCE"    ]]

Definition at line 26 of file datalogs.sh.

then

Definition at line 31 of file datalogs.sh.

fi if[[-n"$PARAMETER"]]

Definition at line 32 of file datalogs.sh.

then display $WORKDIR

Initial value:

{DETID}_${RUNS}${SOURCE+.}${SOURCE}.log

if [[ ! -f ${FILENAME}.gz ]]

Definition at line 34 of file datalogs.sh.

then wget load cookies

Initial value:

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

    echo

    if (( $? == 0 )) && [[ `head ${FILENAME}` != "ERROR: "* ]]

Definition at line 39 of file datalogs.sh.