Merge branch 'delete-branch' of https://github.com/ajermakovics/gitblit

James Moger

2012-09-20 37864ade1f2ab700e496394b8032dbba9b97f2c0

 src/com/gitblit/AuthenticationFilter.java

@@ -170,6 +170,7 @@
      public AuthenticatedRequest(HttpServletRequest req) {

         super(req);

         user = new UserModel("anonymous");

         user.isAuthenticated = false;

      }



      UserModel getUser() {