Ignore:
Timestamp:
2017-01-23T10:20:57+13:00 (7 years ago)
Author:
davidb
Message:

Further tweaks

File:
1 edited

Legend:

Unmodified
Added
Removed

  • other-projects/hathitrust/wcsa/vol-checker/DOWNLOAD-JETTY.sh

    r31323 r31326  
    11
    2 jetty_dist=jetty-distribution-7.6.21.v20160908
    3 jetty_tar="$jetty_dist.tar.gz"
     2if [ "x$VOL_CHECKER_HOME" = "x" ] ; then
     3  echo "Error: VOL_CHECKER_HOME not set.  Have you sourced ./SETUP.bash?" 1>&2
     4  exit 1
     5fi
    46
    57if [ ! -e "$jetty_tar" ] ; then
    … …  
    1315fi
    1416
    15 echo ""
    16 echo "****"
    17 echo "* To change the Jetty server to run on a custom port edit:"
    18 echo "*   <Set name="port"><Property name="jetty.port" default="8080"/></Set>"
    19 echo "* in:"
    20 echo "*   $jetty_dist/etc/jetty.xml"
    21 echo "****"
    22 echo "* To start the server run:"
    23 echo "*    cd \$jetty_dist\" && java -jar start.jar"
    24 echo "****"
    25 echo ""
    26 
Note: See TracChangeset for help on using the changeset viewer.