Merged #257 "Bump to JGit 4.0.0"

James Moger

2015-06-15 c0c5b206bb8d61fb82f09511f8b0214b64f726f4

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

@@ -143,6 +143,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));