Changeset 31326 for other-projects/hathitrust/wcsa/vol-checker
- Timestamp:
- 2017-01-23T10:20:57+13:00 (7 years ago)
- Location:
- other-projects/hathitrust/wcsa/vol-checker
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
other-projects/hathitrust/wcsa/vol-checker/COMPILE.sh
r31283 r31326 1 1 #!/bin/bash 2 2 3 javac -cp jars/servlet-api.jar -d build/classes src/org/hathitrust/extractedfeatures/VolumeCheck.java 3 javac -cp jars/servlet-api.jar -d build/classes src/org/hathitrust/extractedfeatures/VolumeCheck.java \ 4 && cp -r build/classes/org WebContent/WEB-INF/classes/. 5 -
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.