7 if [ -z $JPP_DIR ];
then
8 echo "Variable JPP_DIR undefined."
12 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/
null
19 "\nUtility script to check database cookie file."\
20 "\nIf needed, the user is prompted to create new cookie file."
29 if (( $? != 0 ));
then
30 echo "Remove broken cookie file $COOKIE";
37 if [[ -z
"$DBCOOKIE" ]];
then
39 echo "Enter input within $TIMEOUT_S seconds."
41 read -t $TIMEOUT_S USR
43 fatal
"Timeout at user input."
46 read -t $TIMEOUT_S -s PWD
49 fatal
"Timeout at user input."
54 wget --no-check-certificate \
55 "https://${SERVER}/home.htm?usr=${USR}&pwd=${PWD}&persist=y" \
56 -O
$COOKIE && sed -i --
"s/sid=/.in2p3.fr\\tTRUE\\t\/\\tTRUE\\t0\\tsid\\t/g" $COOKIE
59 fatal
"No cookie $COOKIE"
63 echo "Using DBCOOKIE; unset to disable."
std::istream & read(std::istream &in, JTestSummary &summary, const char delimiter= ' ')
Read test summary.
static const double C
Physics constants.
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR &dev null set_variable
then echo Remove broken cookie file $COOKIE
esac timer_start JCookie sh set_variable COOKIE(cat~/.km3netdb_cookie) set_variable LOGIN $
do set_variable DETECTOR_TXT $WORKDIR detector
esac $JPP_BIN JLogger sh $LOGGER until pgrep JGetMessage</dev/null > dev null