|
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 27 of file JCookie.sh.
Definition at line 45 of file JCookie.sh.
Definition at line 50 of file JCookie.sh.
1.8.5