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