7 # ------------------------------------------------------------------------------------------
9 # Auxiliary script to convert files.
11 # ------------------------------------------------------------------------------------------
13 if [ -z $JPP_DIR ];
then
14 echo "Variable JPP_DIR undefined."
18 source $JPP_DIR/setenv.sh $JPP_DIR >& /dev/
null
21 usage "$script (input file)+ <output file>"
25 fatal
"Invalid number of arguments."
32 -
f "${INPUT_FILES[*]}" \
then usage $script< detector file >< detectorfile > nIf the range of floors is the first detector file is aligned to the second before the comparison fi case set_variable RANGE $argv[3]
then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR &dev null set_variable
&set_variable OUTPUT_FILE
esac $JPP_BIN JLogger sh $LOGGER until pgrep JGetMessage</dev/null > dev null