Show mirror indicator on repository url panel

James Moger

2013-12-11 e55930b4a3c657eb71fad3aa3f2d276439fc4a8c

 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