Improvements to create/edit user.

James Moger

2011-05-12 a098da747052eb8d9f612f78dece8ac027a72caa

 src/com/gitblit/JettyLoginService.java

@@ -69,8 +69,11 @@


   @Override

   public UserModel getUserModel(String username) {

      UserModel model = new UserModel(username);

      UserIdentity identity = _users.get(username);

      if (identity == null) {

         return null;

      }

      UserModel model = new UserModel(username);

      Subject subject = identity.getSubject();

      for (Principal principal : subject.getPrincipals()) {

         if (principal instanceof RolePrincipal) {