diff options
| author | Mohamed Ragab <moragab@gmail.com> | 2012-05-02 17:15:01 +0200 |
|---|---|---|
| committer | Mohamed Ragab <moragab@gmail.com> | 2012-05-02 17:15:01 +0200 |
| commit | 0e44acbb2fec928a1606dc60f427a148fff405c9 (patch) | |
| tree | beef8211753a15ca8c2eb2609f2e4bfa7b21f1c2 /distrib/gitblit-centos | |
| parent | 470a156243c9b558bc61085b5196994cf71a5090 (diff) | |
| download | gitblit-0e44acbb2fec928a1606dc60f427a148fff405c9.tar.gz gitblit-0e44acbb2fec928a1606dc60f427a148fff405c9.zip | |
Added a script to facilitate setting the proxy host and port and no proxy hosts, and then it concatenates all the java system properties for setting the java proxy configurations and puts the resulting string in an environment variable JAVA_PROXY_CONFIG, modified the scirpts gitblit, gitblit-ubuntu, and gitblit-centos to source the java-proxy-config.sh script and then include the resulting java proxy configuration in the java command
Diffstat (limited to 'distrib/gitblit-centos')
| -rw-r--r-- | distrib/gitblit-centos | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/distrib/gitblit-centos b/distrib/gitblit-centos index c9fe151e..c608097e 100644 --- a/distrib/gitblit-centos +++ b/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 |