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