4 if [ -z $JPP_DIR ]; then
5 echo "Variable JPP_DIR undefined."
9 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/null
11 set_variable: DEBUG DATABASE_DEBUG 2
12 set_variable: WORKDIR DATABASE_WORKDIR `pwd`
15 usage "$script <detector identifier> <run>[-<run>] <nick name>"
18 if (( $# == 3 )); then
21 set_variable NICKNAME $3
23 fatal "Invalid number of arguments."
26 datalogs.sh ${DETID} ${RUNS} TriDASManager DispatcherPutMessage
27 datalogs.sh ${DETID} ${RUNS} MSG
28 datalogs.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