| #!/bin/bash | |
| # look for JETTY_HOME | |
| if [ -z "$JETTY_HOME" ] | |
| then | |
| JETTY_HOME_1=`dirname "$0"` | |
| JETTY_HOME_1=`dirname "$JETTY_HOME_1"` | |
| JETTY_HOME=${JETTY_HOME_1} | |
| fi | |
| cd $JETTY_HOME | |
| exec /usr/bin/java -Djetty.port=8088 -jar start.jar etc/jetty.xml etc/jetty-xinetd.xml | |