code cleanup

diff --git a/src/com/gitblit/GitServlet.java b/src/com/gitblit/GitServlet.java
index 9c7fb42537ba609b3f7e1915be0b95b787684c9f..b8e120665d4d8b8210194b5ca5fb85b557be79ba 100644 (file)
--- 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;\r
 \r
        private File groovyDir;\r
-\r
-       @Override\r
-       public void destroy() {\r
-               super.destroy();\r
-       }\r
        \r
        @Override\r
        public void init(ServletConfig config) throws ServletException {\r
@@ -109,8 +104,6 @@ public class GitServlet extends org.eclipse.jgit.http.server.GitServlet {
                        public ReceivePack create(HttpServletRequest req, Repository db)\r
                                        throws ServiceNotEnabledException, ServiceNotAuthorizedException {\r
                                // determine repository name from request\r
-                               org.eclipse.jgit.http.server.glue.WrappedRequest wrreq = (org.eclipse.jgit.http.server.glue.WrappedRequest) req;\r
-                               \r
                                String repositoryName = req.getPathInfo().substring(1);\r
                                repositoryName = GitFilter.getRepositoryName(repositoryName);\r
                                \r