- Timestamp:
- 2017-01-23T10:20:57+13:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
other-projects/hathitrust/wcsa/vol-checker/DOWNLOAD-JETTY.sh
r31323 r31326 1 1 2 jetty_dist=jetty-distribution-7.6.21.v20160908 3 jetty_tar="$jetty_dist.tar.gz" 2 if [ "x$VOL_CHECKER_HOME" = "x" ] ; then 3 echo "Error: VOL_CHECKER_HOME not set. Have you sourced ./SETUP.bash?" 1>&2 4 exit 1 5 fi 4 6 5 7 if [ ! -e "$jetty_tar" ] ; then … … 13 15 fi 14 16 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.