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
 
   26 if ( do_usage $* ); then
 
   27     usage "$script [input file]"
 
   34 print_variable INPUT_FILE
 
   36 JProperties -f $INPUT_FILE
 
   38 echo -n "Number of events " 
 
   39 egrep "start_event:" $INPUT_FILE | wc -l