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