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 
   20 if ( do_usage $* ); 
then 
   21     usage "$script (input file)+ <output file>" 
   25     fatal 
"Invalid number of arguments." 
   32     -
f "${INPUT_FILES[*]}"  \
 
void set_variable(const std::string &name, const std::string &value)
Set environment variable. 
 
then fatal Not enough arguments fi set_variable DETECTOR $argv[1] INPUT_FILES
 
*set_variable DETECTOR $argv[1] set_variable INPUT_FILE $argv[2,-2] set_variable OUTPUT_FILE $argv[-1]
 
esac $JPP_BIN JLogger sh $LOGGER until pgrep JGetMessage</dev/null > dev null