Changeset 31325

Timestamp:

2017-01-23T10:20:32+13:00 (7 years ago)

Author:

davidb

Message:

Further tweaks

File:

• other-projects/hathitrust/wcsa/vol-checker/SETUP.bash.in (modified) (2 diffs)

other-projects/hathitrust/wcsa/vol-checker/SETUP.bash.in

@@ -2 +2 @@
 export VOL_CHECKER_HOME=`pwd`
 
-if [ "x$JAVA_HOME" != "x" ] ; then
+echo ""
+
+if [ "x$JAVA_HOME" == "x" ] ; then
   export JAVA_HOME=/home/greenstone/jdk1.8.0_25
   export PATH=$JAVA_HOME/bin:$PATH
-  echo "Set JAVA_HOME and added JAVA_HOME/bin to PATH"
+  echo "****"
+  echo "* Set JAVA_HOME to:"
+  echo "*  $JAVA_HOME"
+  echo "* and added JAVA_HOME/bin to PATH"
+  echo "****"
 fi
 
@@ -11 +17 @@
 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 ""
+