JCookie.sh

Go to the documentation of this file.

#!/usr/bin/env 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"\
          "\nUtility script to check database cookie file."\
          "\nIf needed, the user is prompted to create new cookie file."
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`
 
    URL="https://${SERVER}/home.htm?usr=${USR}&pwd=${PWD}&persist=y&freenetbits=16"
 
    if command -v wget >/dev/null 2>&1; then
        wget --no-check-certificate --quiet \
             --output-document="$COOKIE" \
             "$URL"
    elif command -v curl >/dev/null 2>&1; then
        curl --insecure --silent \
             --output "$COOKIE" \
             "$URL"
    else
        echo "Error: neither wget nor curl is available." >&2
        exit 1
    fi
    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