Remove obsolete pageName label

James Moger

2013-12-11 d6abe2e676702481ca6c3f720024bb14f1059030

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

@@ -184,7 +184,7 @@
         // 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);

         return user.hasRepositoryPermission(role);

      }



      @Override