Kensuke Matsuzaki
2012-02-20 73f4b8f583602cc20acac81165efba2147cc50a9
src/com/gitblit/AuthenticationFilter.java
@@ -171,7 +171,7 @@
         super(req);
         user = new UserModel("anonymous");
      }
      UserModel getUser() {
         return user;
      }
@@ -190,6 +190,9 @@
         if (role.equals(Constants.ADMIN_ROLE)) {
            return user.canAdmin;
         }
         // Gitblit does not currently use actual roles in the traditional
         // servlet container sense.  That is the reason this is marked
         // deprecated, but I may want to revisit this.
         return user.canAccessRepository(role);
      }