Gitblit devel
parent: 9f92fb | patch | commitdiff
Dariusz Bywalec
2014-12-02 d86f4a0860704e3bda77fa9622a8d0210265b616
refs
author Dariusz Bywalec <dariusz.bywalec@trapezegroup.pl>
Tuesday, December 2, 2014 11:11 -0500
committer Dariusz Bywalec <dariusz.bywalec@trapezegroup.pl>
Tuesday, December 2, 2014 11:30 -0500
commitd86f4a0860704e3bda77fa9622a8d0210265b616
tree 4e8e4cb912d6d6024e94dc1bb9efd90c44e7b6c2 tree | zip | gz
parent 9f92fb94aa403928a2efe5e673e118b3b02ba291 view | diff 
Add support for configurable HTTP proxy host/port in PluginManager.java

Formerly by default the PluginMaganer would support no proxy setting.
For servers behind firewall and HTTP proxy this would prevent installation of gitblit plugins.
2 files modified
20 ■■■■■ changed files
src/main/distrib/data/defaults.properties 10 ●●●●● diff | view | raw | blame | history
src/main/java/com/gitblit/manager/PluginManager.java 10 ●●●●● diff | view | raw | blame | history