From 2a8a74bedafdb56b7e7edcb42642dc1eb5e54fff Mon Sep 17 00:00:00 2001
From: saheba <mail@saheba.net>
Date: Mon, 25 Mar 2013 21:34:45 +0100
Subject: [PATCH] code cleanup

---
 src/com/gitblit/GitServlet.java | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/com/gitblit/GitServlet.java b/src/com/gitblit/GitServlet.java
index 9c7fb425..b8e12066 100644
--- a/src/com/gitblit/GitServlet.java
+++ b/src/com/gitblit/GitServlet.java
@@ -83,11 +83,6 @@ public class GitServlet extends org.eclipse.jgit.http.server.GitServlet {
 	private GroovyScriptEngine gse;
 
 	private File groovyDir;
-
-	@Override
-	public void destroy() {
-		super.destroy();
-	}
 	
 	@Override
 	public void init(ServletConfig config) throws ServletException {
@@ -109,8 +104,6 @@ public class GitServlet extends org.eclipse.jgit.http.server.GitServlet {
 			public ReceivePack create(HttpServletRequest req, Repository db)
 					throws ServiceNotEnabledException, ServiceNotAuthorizedException {
 				// determine repository name from request
-				org.eclipse.jgit.http.server.glue.WrappedRequest wrreq = (org.eclipse.jgit.http.server.glue.WrappedRequest) req;
-				
 				String repositoryName = req.getPathInfo().substring(1);
 				repositoryName = GitFilter.getRepositoryName(repositoryName);
 				
-- 
2.39.5