Merged #205 "Update to JGit 3.5.1"

James Moger

2014-10-14 e10ac6e91b1062c74b800df4aa3f8fbcf7e18243

 src/main/java/com/gitblit/servlet/AccessRestrictionFilter.java

@@ -141,6 +141,10 @@


      String fullUrl = getFullUrl(httpRequest);

      String repository = extractRepositoryName(fullUrl);

      if (StringUtils.isEmpty(repository)) {

         httpResponse.setStatus(HttpServletResponse.SC_BAD_REQUEST);

         return;

      }



      if (repositoryManager.isCollectingGarbage(repository)) {

         logger.info(MessageFormat.format("ARF: Rejecting request for {0}, busy collecting garbage!", repository));