Add support for configurable HTTP proxy host/port in PluginManager.java

Dariusz Bywalec

2014-12-02 d86f4a0860704e3bda77fa9622a8d0210265b616

1
2
3
4
[user "admin"]
    password = admin
    role = "#admin"
    role = "#notfederated"