Mohamed Ragab
2012-05-02 0e44acbb2fec928a1606dc60f427a148fff405c9
refs
author Mohamed Ragab <moragab@gmail.com>
Wednesday, May 2, 2012 11:15 -0400
committer Mohamed Ragab <moragab@gmail.com>
Wednesday, May 2, 2012 11:15 -0400
commit0e44acbb2fec928a1606dc60f427a148fff405c9
tree beef8211753a15ca8c2eb2609f2e4bfa7b21f1c2 tree | zip | gz
parent 470a156243c9b558bc61085b5196994cf71a5090 view | diff
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
1 files added
3 files modified
36 ■■■■ changed files
distrib/gitblit 3 ●●●● diff | view | raw | blame | history
distrib/gitblit-centos 3 ●●●● diff | view | raw | blame | history
distrib/gitblit-ubuntu 5 ●●●●● diff | view | raw | blame | history
distrib/java-proxy-config.sh 25 ●●●●● diff | view | raw | blame | history