Permission regexes are now case-insensitive

James Moger

2012-10-22 e5aaa5db9b323f58d9eb8338532fd04fce885048

 src/com/gitblit/models/UserModel.java

@@ -227,9 +227,9 @@
            return p;

         }

      } else {

         // search for regex permission match

         // search for case-insensitive regex permission match

         for (String key : permissions.keySet()) {

            if (repository.name.matches(key)) {

            if (StringUtils.matchesIgnoreCase(repository.name, key)) {

               AccessPermission p = permissions.get(key);

               if (p != null) {

                  permission = p;