4if [ -z $JPP_DIR ]; then
 
    5    echo "Variable JPP_DIR undefined."
 
    9source $JPP_DIR/setenv.sh $JPP_DIR  >&  /dev/null
 
   11set_variable:  DEBUG     DATABASE_DEBUG      2
 
   12set_variable:  WORKDIR   DATABASE_WORKDIR    `pwd`
 
   15    usage "$script <detector identifier> <run>[-<run>] <nick name>"
 
   21    set_variable  NICKNAME       $3
 
   23    fatal "Invalid number of arguments."
 
   26datalogs.sh ${DETID} ${RUNS} TriDASManager DispatcherPutMessage
 
   27datalogs.sh ${DETID} ${RUNS} MSG
 
   28datalogs.sh ${DETID} ${RUNS} RC_REPLY
 
   31    -f ${DETID}_${RUNS}.TriDASManager.log.gz  \
 
   32    -f ${DETID}_${RUNS}.MSG.log.gz            \
 
   33    -f ${DETID}_${RUNS}.RC_REPLY.log.gz       \
 
   34    -D "data     = .*${NICKNAME}.*"           \
 
   35    -M "nickname = ${NICKNAME}/${NICKNAME}"   \
 
   36    -R "nickname = ${NICKNAME}/${NICKNAME}"   >  ${NICKNAME}.txt