source: other-projects/hathitrust/wcsa/vol-checker/SETUP.bash.in@ 31325

export VOL_CHECKER_HOME=`pwd`

echo ""

if [ "x$JAVA_HOME" == "x" ] ; then
  export JAVA_HOME=/home/greenstone/jdk1.8.0_25
  export PATH=$JAVA_HOME/bin:$PATH
  echo "****"
  echo "* Set JAVA_HOME to:"
  echo "*  $JAVA_HOME"
  echo "* and added JAVA_HOME/bin to PATH"
  echo "****"
fi

jetty_dist=jetty-distribution-7.6.21.v20160908
jetty_tar="$jetty_dist.tar.gz"

if [ -d "$jetty_dist" ] ; then
  echo "****"
  echo "* To change the Jetty server to run on a custom port edit:"
  echo "*   <Set name="port"><Property name="jetty.port" default="8080"/></Set>"
  echo "* in:"
  echo "*   $jetty_dist/etc/jetty.xml"
  echo "****"
  echo "* To start the server run:"
  echo "*    cd \"$jetty_dist\" && java -jar start.jar"
  echo "****"
else 
  echo "****"
  echo "* Did not detect a jetty directory.  Have you run ./DOWNLOAD-JETTY.sh ?"\
  echo "****"
fi

echo ""