Added a script to facilitate setting the proxy host and port and no proxy h...

Mohamed Ragab

2012-05-02 0e44acbb2fec928a1606dc60f427a148fff405c9

 distrib/gitblit-centos

@@ -8,7 +8,8 @@
GITBLIT_PATH=/opt/gitblit
GITBLIT_HTTP_PORT=0
GITBLIT_HTTPS_PORT=8443
JAVA="java -server -Xmx1024M -jar"
source ${GITBLIT_PATH}/java-proxy-config.sh
JAVA="java -server -Xmx1024M ${JAVA_PROXY_CONFIG} -Djava.awt.headless=true -jar"

RETVAL=0