8 # ------------------------------------------------------------------------------------------
 
   10 #                             Example script for JProperties
 
   12 # ------------------------------------------------------------------------------------------
 
   15 if [ -z $JPP_DIR ]; then
 
   16     echo "Variable JPP_DIR undefined."
 
   21 source $JPP_DIR/setenv.sh $JPP_DIR
 
   24 set_variable   INPUT_FILE  $JPP_DATA/genhen.km3net_wpd_V2_0.evt  
 
   27     usage "$script [input file]"
 
   31     1) set_variable  INPUT_FILE  $1;;
 
   34 print_variable INPUT_FILE
 
   36 JProperties -f $INPUT_FILE
 
   38 echo -n "Number of events " 
 
   39 grep -E "start_event:" $INPUT_FILE | wc -l