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/java/com/gitblit/client/GitblitWorker.java |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/main/java/com/gitblit/client/GitblitWorker.java b/src/main/java/com/gitblit/client/GitblitWorker.java
index 93c35d6..86ec920 100644
--- a/src/main/java/com/gitblit/client/GitblitWorker.java
+++ b/src/main/java/com/gitblit/client/GitblitWorker.java
@@ -50,6 +50,7 @@
 		return doRequest();
 	}
 
+	@Override
 	protected void done() {
 		parent.setCursor(Cursor.getPredefinedCursor(Cursor.DEFAULT_CURSOR));
 		try {

--
Gitblit v1.9.1