Rev | Line | |
---|
[31321] | 1 |
|
---|
[31324] | 2 | export VOL_CHECKER_HOME=`pwd`
|
---|
| 3 |
|
---|
[31325] | 4 | echo ""
|
---|
| 5 |
|
---|
| 6 | if [ "x$JAVA_HOME" == "x" ] ; then
|
---|
[31324] | 7 | export JAVA_HOME=/home/greenstone/jdk1.8.0_25
|
---|
| 8 | export PATH=$JAVA_HOME/bin:$PATH
|
---|
[31325] | 9 | echo "****"
|
---|
| 10 | echo "* Set JAVA_HOME to:"
|
---|
| 11 | echo "* $JAVA_HOME"
|
---|
| 12 | echo "* and added JAVA_HOME/bin to PATH"
|
---|
| 13 | echo "****"
|
---|
[31324] | 14 | fi
|
---|
| 15 |
|
---|
[31329] | 16 | export jetty_dist=jetty-distribution-7.6.21.v20160908
|
---|
| 17 | export jetty_tar="$jetty_dist.tar.gz"
|
---|
[31324] | 18 |
|
---|
[31325] | 19 | if [ -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 "****"
|
---|
| 29 | else
|
---|
| 30 | echo "****"
|
---|
| 31 | echo "* Did not detect a jetty directory. Have you run ./DOWNLOAD-JETTY.sh ?"\
|
---|
| 32 | echo "****"
|
---|
| 33 | fi
|
---|
[31324] | 34 |
|
---|
[31325] | 35 | echo ""
|
---|
| 36 |
|
---|
Note:
See
TracBrowser
for help on using the repository browser.