Merged #228 "Add support for configurable HTTP proxy host/port in PluginMan...

James Moger

2014-12-03 b9b8932e390d26ef3ad0b5c67e0b1200c50874f7

 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,11 +587,19 @@
   }

   protected Proxy getProxy(URL url) {
      return java.net.Proxy.NO_PROXY;
      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 "";
      String proxyAuth = runtimeManager.getSettings().getString(Keys.plugins.httpProxyAuthorization, "");
      return proxyAuth;
   }

   /**