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-ubuntu | |
| 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-ubuntu')
| -rw-r--r-- | distrib/gitblit-ubuntu | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/distrib/gitblit-ubuntu b/distrib/gitblit-ubuntu index 957a8d05..b047ed97 100644 --- a/distrib/gitblit-ubuntu +++ b/distrib/gitblit-ubuntu @@ -9,7 +9,8 @@ PATH=/sbin:/bin:/usr/bin:/usr/sbin # change theses values (default values) GITBLIT_PATH=/opt/gitblit GITBLIT_USER="gitblit" -ARGS="-server -Xmx1024M -jar gitblit.jar" +source ${GITBLIT_PATH}/java-proxy-config.sh +ARGS="-server -Xmx1024M ${JAVA_PROXY_CONFIG} -Djava.awt.headless=true -jar gitblit.jar" RETVAL=0 @@ -43,4 +44,4 @@ case "$1" in ;; esac -exit $RETVAL
\ No newline at end of file +exit $RETVAL |