Changeset 31326 for other-projects

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

Further tweaks

Location:
other-projects/hathitrust/wcsa/vol-checker
Files:
2 modified

Legend:

Unmodified
Added
Removed
  • other-projects/hathitrust/wcsa/vol-checker/COMPILE.sh

    r31283 r31326  
    11#!/bin/bash 
    22 
    3 javac -cp jars/servlet-api.jar -d build/classes src/org/hathitrust/extractedfeatures/VolumeCheck.java  
     3javac -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  
    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