Line | |
---|
1 |
|
---|
2 | export VOL_CHECKER_HOME=`pwd`
|
---|
3 |
|
---|
4 | echo ""
|
---|
5 |
|
---|
6 | if [ "x$JAVA_HOME" == "x" ] ; then
|
---|
7 | export JAVA_HOME=/home/greenstone/jdk1.8.0_25
|
---|
8 | export PATH=$JAVA_HOME/bin:$PATH
|
---|
9 | echo "****"
|
---|
10 | echo "* Set JAVA_HOME to:"
|
---|
11 | echo "* $JAVA_HOME"
|
---|
12 | echo "* and added JAVA_HOME/bin to PATH"
|
---|
13 | echo "****"
|
---|
14 | fi
|
---|
15 |
|
---|
16 | export jetty_dist=jetty-distribution-7.6.21.v20160908
|
---|
17 | export jetty_tar="$jetty_dist.tar.gz"
|
---|
18 |
|
---|
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
|
---|
34 |
|
---|
35 | echo ""
|
---|
36 |
|
---|
Note:
See
TracBrowser
for help on using the repository browser.