| commit | d86f4a0860704e3bda77fa9622a8d0210265b616 | [log] [tgz] |
|---|---|---|
| author | Dariusz Bywalec <dariusz.bywalec@trapezegroup.pl> | Tue Dec 02 17:11:50 2014 +0100 |
| committer | Dariusz Bywalec <dariusz.bywalec@trapezegroup.pl> | Tue Dec 02 17:30:14 2014 +0100 |
| tree | 4e8e4cb912d6d6024e94dc1bb9efd90c44e7b6c2 | |
| parent | 9f92fb94aa403928a2efe5e673e118b3b02ba291 [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.