Changeset 31325 for other-projects

Show
Ignore:
Timestamp:
23.01.2017 10:20:32 (2 years ago)
Author:
davidb
Message:

Further tweaks

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • other-projects/hathitrust/wcsa/vol-checker/SETUP.bash.in

    r31324 r31325  
    22export VOL_CHECKER_HOME=`pwd` 
    33 
    4 if [ "x$JAVA_HOME" != "x" ] ; then 
     4echo "" 
     5 
     6if [ "x$JAVA_HOME" == "x" ] ; then 
    57  export JAVA_HOME=/home/greenstone/jdk1.8.0_25 
    68  export PATH=$JAVA_HOME/bin:$PATH 
    7   echo "Set JAVA_HOME and added JAVA_HOME/bin to PATH" 
     9  echo "****" 
     10  echo "* Set JAVA_HOME to:" 
     11  echo "*  $JAVA_HOME" 
     12  echo "* and added JAVA_HOME/bin to PATH" 
     13  echo "****" 
    814fi 
    915 
     
    1117jetty_tar="$jetty_dist.tar.gz" 
    1218 
     19if [ -d "$jetty_dist" ] ; then 
     20  echo "****" 
     21  echo "* To change the Jetty server to run on a custom port edit:" 
     22  echo "*   <Set name="port"><Property name="jetty.port" default="8080"/></Set>" 
     23  echo "* in:" 
     24  echo "*   $jetty_dist/etc/jetty.xml" 
     25  echo "****" 
     26  echo "* To start the server run:" 
     27  echo "*    cd \"$jetty_dist\" && java -jar start.jar" 
     28  echo "****" 
     29else  
     30  echo "****" 
     31  echo "* Did not detect a jetty directory.  Have you run ./DOWNLOAD-JETTY.sh ?"\ 
     32  echo "****" 
     33fi 
    1334 
     35echo "" 
     36