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