diff options
Diffstat (limited to 'gerrit-war/src/main/webapp/WEB-INF/extra/jetty6/gerrit-jetty.sh')
-rw-r--r-- | gerrit-war/src/main/webapp/WEB-INF/extra/jetty6/gerrit-jetty.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gerrit-war/src/main/webapp/WEB-INF/extra/jetty6/gerrit-jetty.sh b/gerrit-war/src/main/webapp/WEB-INF/extra/jetty6/gerrit-jetty.sh new file mode 100644 index 0000000000..f8e22d952a --- /dev/null +++ b/gerrit-war/src/main/webapp/WEB-INF/extra/jetty6/gerrit-jetty.sh @@ -0,0 +1,17 @@ +#!/bin/sh + +export JETTY_HOST=127.0.0.1 +export JETTY_PORT=8081 +export JETTY_USER=gerrit2 +export JETTY_PID=/var/run/jetty$JETTY_PORT.pid +export JETTY_HOME=/home/$JETTY_USER/jetty +export JAVA_HOME=/usr/lib/jvm/java-6-sun-1.6.0.07/jre + +JAVA_OPTIONS="" +JAVA_OPTIONS="$JAVA_OPTIONS -Djetty.host=$JETTY_HOST" +export JAVA_OPTIONS + +C="jetty-logging jetty" +[ -f "$JETTY_HOME/etc/jetty_sslproxy.xml" ] && C="$C jetty_sslproxy" + +exec $JETTY_HOME/bin/jetty.sh "$@" $C |