Handle case of missing repository in Manager (issue 155)

James Moger

2012-10-31 93f98981892cd74e9074fac9a63cd009b3173340

 src/com/gitblit/AuthenticationFilter.java

@@ -189,7 +189,7 @@
      @Override

      public boolean isUserInRole(String role) {

         if (role.equals(Constants.ADMIN_ROLE)) {

            return user.canAdmin;

            return user.canAdmin();

         }

         // Gitblit does not currently use actual roles in the traditional

         // servlet container sense.  That is the reason this is marked