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

Dariusz Bywalec

2014-12-02 d86f4a0860704e3bda77fa9622a8d0210265b616

 src/main/java/com/gitblit/manager/PluginManager.java

@@ -22,6 +22,7 @@
import java.io.IOException;
import java.io.InputStream;
import java.net.HttpURLConnection;
import java.net.InetSocketAddress;
import java.net.Proxy;
import java.net.URL;
import java.net.URLConnection;
@@ -586,8 +587,15 @@
   }

   protected Proxy getProxy(URL url) {
      String proxyHost = runtimeManager.getSettings().getString(Keys.plugins.httpProxyHost, "");
      String proxyPort = runtimeManager.getSettings().getString(Keys.plugins.httpProxyPort, "");
		
      if (!StringUtils.isEmpty(proxyHost)  && !StringUtils.isEmpty(proxyPort)) {
         return new Proxy(Proxy.Type.HTTP, new InetSocketAddress(proxyHost, Integer.parseInt(proxyPort)));
      } else {
      return java.net.Proxy.NO_PROXY;
   }
   }

   protected String getProxyAuthorization(URL url) {
      return "";