Jpp - the software that should make you happy
|
Go to the source code of this file.
Functions | |
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 JPrintDB C $COOKIE q detector &dev null | if (($?!=0)) |
Variables | |
script | |
then usage $script fi | if [[-f $COOKIE]] |
then echo Remove broken cookie file | $COOKIE |
then echo n User | name |
then fatal No cookie $COOKIE fi else echo Using | DBCOOKIE |
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR& dev null set_variable COOKIE getCookie if | ( | do_usage $* | ) |
script |
Definition at line 5 of file JCookie.sh.
then if[[-z"$DBCOOKIE"]] |
Definition at line 22 of file JCookie.sh.
Definition at line 45 of file JCookie.sh.
Definition at line 50 of file JCookie.sh.