| 
    Jpp
    
   | 
 
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