Update to Jetty 8.1.13 for Servlet 3

James Moger

2013-11-16 d65a6baca9a20461f976a2455d70eecc7faf2db5

 src/main/java/com/gitblit/git/GitServlet.java

@@ -20,6 +20,7 @@
import javax.servlet.http.HttpServletRequest;



import com.gitblit.GitBlit;

import com.gitblit.manager.IRepositoryManager;



/**

 * The GitServlet provides http/https access to Git repositories.

@@ -34,7 +35,8 @@


   @Override

   public void init(ServletConfig config) throws ServletException {

      setRepositoryResolver(new RepositoryResolver<HttpServletRequest>(GitBlit.getRepositoriesFolder()));

      IRepositoryManager repositoryManager = GitBlit.getManager(IRepositoryManager.class);

      setRepositoryResolver(new RepositoryResolver<HttpServletRequest>(repositoryManager.getRepositoriesFolder()));

      setUploadPackFactory(new GitblitUploadPackFactory<HttpServletRequest>());

      setReceivePackFactory(new GitblitReceivePackFactory<HttpServletRequest>());

      super.init(config);