Variables
	script

then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR &dev null set_variable DIR $JPP_DIR examples JDB if do_usage *then usage $script < detector identifier > fi case set_variable	DETECTOR

Variable Documentation

script

Initial value:

=${0##*/}
 
if [ -z $JPP_DIR ]

Definition at line 2 of file JRuns.sh.

then echo Variable JPP_DIR undefined exit fi source $JPP_DIR setenv sh $JPP_DIR& dev null set_variable DIR $JPP_DIR examples JDB if do_usage* then usage $script<detector identifier> fi case set_variable DETECTOR

Definition at line 13 of file JRuns.sh.

Variables