getLivetime.sh

Go to the documentation of this file.

#!/bin/zsh
#
# \author mdejong
#
script=${0##*/}
 
# ------------------------------------------------------------------------------------------
#
#                         Auxiliary script to print DAQ live time.
#
# ------------------------------------------------------------------------------------------
 
if [ -z $JPP_DIR ]; then
    echo "Variable JPP_DIR undefined."
    exit
fi
 
source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
 
if do_usage $*; then
    usage "$script (input file)+"
fi
 
INPUT_FILES=($*)
 
getLivetime \
    -f "${INPUT_FILES[*]}"