JCookie.sh

Go to the documentation of this file.

#!/bin/zsh
#
# \author mdejong
#
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   COOKIE     `getCookie`  
set_variable   TIMEOUT_S  20

if do_usage $*; then
    usage "$script"
fi

# test cookie

if [[ -f $COOKIE ]]; then

    JPrintDB -C $COOKIE -q detector >& /dev/null

    if (( $? != 0 )); then
        echo "Remove broken cookie file $COOKIE";
        rm -f $COOKIE
    fi
fi

if [[ ! -f $COOKIE ]]; then

    if [[ -z "$DBCOOKIE" ]]; then

        echo "Enter input within $TIMEOUT_S seconds."
        echo -n "User name: "
        read -t $TIMEOUT_S    USR
        if (( $? != 0 )); then
            fatal "Timeout at user input."
        fi
        echo -n "Password: "
        read -t $TIMEOUT_S -s PWD
        echo
        if (( $? != 0 )); then
            fatal "Timeout at user input."
        fi

        set_variable SERVER `JServerDB`

        wget --no-check-certificate \
            "https://${SERVER}/home.htm?usr=${USR}&pwd=${PWD}&persist=y" \
            -O $COOKIE && sed -i -- "s/sid=/.in2p3.fr\\tTRUE\\t\/\\tTRUE\\t0\\tsid\\t/g" $COOKIE

        if [[ ! -f $COOKIE ]]; then
            fatal "No cookie $COOKIE"
        fi
    else

        echo "Using DBCOOKIE; unset to disable."
    fi
fi

JPrintDB -C $COOKIE -q detector >& /dev/null

CHECK_EXIT_CODE