From d86f4a0860704e3bda77fa9622a8d0210265b616 Mon Sep 17 00:00:00 2001
From: Dariusz Bywalec <dariusz.bywalec@trapezegroup.pl>
Date: Tue, 02 Dec 2014 11:30:14 -0500
Subject: [PATCH] Add support for configurable HTTP proxy host/port in PluginManager.java

---
 src/main/distrib/data/defaults.properties |   10 ++++++++++
 1 files changed, 10 insertions(+), 0 deletions(-)

diff --git a/src/main/distrib/data/defaults.properties b/src/main/distrib/data/defaults.properties
index aa69331..093dd85 100644
--- a/src/main/distrib/data/defaults.properties
+++ b/src/main/distrib/data/defaults.properties
@@ -572,6 +572,16 @@
 # SINCE 1.5.0
 plugins.registry = http://plugins.gitblit.com/plugins.json
 
+# The HTTP proxy host for plugin manager.
+#
+# SINCE 1.7.0
+plugins.httpProxyHost = 
+
+# The HTTP proxy port for plugin manager.
+#
+# SINCE 1.7.0
+plugins.httpProxyPort = 
+
 # Number of threads used to handle miscellaneous tasks in the background.
 #
 # SINCE 1.6.0

--
Gitblit v1.9.1