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`  

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 -n "User name: "
        read    USR
        echo -n "Password: "
        read -s PWD

        wget --no-check-certificate \
            "https://km3netdbweb.in2p3.fr/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