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 export jetty_dist=jetty-distribution-7.6.21.v20160908 export 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 "* " 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 ""