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

Dariusz Bywalec

2014-12-02 d86f4a0860704e3bda77fa9622a8d0210265b616

 src/main/java/com/gitblit/models/ServerSettings.java

@@ -58,4 +58,8 @@
   public boolean hasKey(String key) {

      return settings.containsKey(key);

   }



   public SettingModel remove(String key) {

      return settings.remove(key);

   }

}