Jpp
18.0.0-rc.1
the software that should make you happy
|
Go to the source code of this file.
Functions | |
then JPrintDB C $COOKIE q detector &dev null | if (($?!=0)) |
Variables | |
script | |
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR &dev null set_variable COOKIE getCookie set_variable TIMEOUT_S if do_usage *then usage $script nUtility script to check database cookie file nIf | needed |
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR &dev null set_variable COOKIE getCookie set_variable TIMEOUT_S if do_usage *then usage $script nUtility script to check database cookie file nIf the user is prompted to create new cookie file fi | if [[-f $COOKIE]] |
then echo Remove broken cookie file | $COOKIE |
then echo Enter input within $TIMEOUT_S seconds echo n User | name |
then fatal Timeout at user input fi echo n | Password |
then fatal Timeout at user input fi set_variable SERVER JServerDB wget no check certificate q | https |
then fatal No cookie $COOKIE fi else echo Using | DBCOOKIE |
script |
Definition at line 5 of file JCookie.sh.
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR& dev null set_variable COOKIE getCookie set_variable TIMEOUT_S if do_usage* then usage $script nUtility script to check database cookie file nIf needed |
Definition at line 17 of file JCookie.sh.
then if[[-z"$DBCOOKIE"]] |
Definition at line 17 of file JCookie.sh.
Definition at line 42 of file JCookie.sh.
then fatal Timeout at user input fi set_variable SERVER JServerDB wget no check certificate q https |
Definition at line 58 of file JCookie.sh.
Definition at line 63 of file JCookie.sh.