Florian Zschocke
2013-08-20 e85277e1de9f59ac45df5ffd84c5d9be0e4d20d2
src/main/java/com/gitblit/models/UserModel.java
@@ -273,7 +273,13 @@
   }
      
   public void setRepositoryPermission(String repository, AccessPermission permission) {
      permissions.put(repository.toLowerCase(), permission);
      if (permission == null) {
         // remove the permission
         permissions.remove(repository.toLowerCase());
      } else {
         // set the new permission
         permissions.put(repository.toLowerCase(), permission);
      }
   }
   public RegistrantAccessPermission getRepositoryPermission(RepositoryModel repository) {