Reset the commit cache on repository deletion

James Moger

2014-02-21 1b4449a90ba9dfdfba22363a8886b5361a899707

 src/main/java/com/gitblit/manager/GitblitManager.java

@@ -634,6 +634,11 @@
   }

   @Override
   public String getCookie(HttpServletRequest request) {
      return authenticationManager.getCookie(request);
   }

   @Override
   public void setCookie(HttpServletResponse response, UserModel user) {
      authenticationManager.setCookie(response, user);
   }