Last change
on this file since 31323 was 31323, checked in by davidb, 7 years ago |
Download script plus setup instructions
|
-
Property svn:executable
set to
*
|
File size:
681 bytes
|
Rev | Line | |
---|
[31323] | 1 |
|
---|
| 2 | jetty_dist=jetty-distribution-7.6.21.v20160908
|
---|
| 3 | jetty_tar="$jetty_dist.tar.gz"
|
---|
| 4 |
|
---|
| 5 | if [ ! -e "$jetty_tar" ] ; then
|
---|
| 6 | echo "Downloading: $jetty_tar"
|
---|
| 7 | wget "http://central.maven.org/maven2/org/eclipse/jetty/jetty-distribution/7.6.21.v20160908/$jetty_tar"
|
---|
| 8 | fi
|
---|
| 9 |
|
---|
| 10 | if [ ! -d "$jetty_dist" ] ; then
|
---|
| 11 | echo "Untarring $jetty_tar"
|
---|
| 12 | tar xvzf "$jetty_tar"
|
---|
| 13 | fi
|
---|
| 14 |
|
---|
| 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
TracBrowser
for help on using the repository browser.