Merged #228 "Add support for configurable HTTP proxy host/port in PluginMan...

James Moger

2014-12-03 b9b8932e390d26ef3ad0b5c67e0b1200c50874f7

 src/main/java/com/gitblit/wicket/pages/EditUserPage.java

@@ -178,7 +178,9 @@


            // update user permissions

            for (RegistrantAccessPermission repositoryPermission : permissions) {

               userModel.setRepositoryPermission(repositoryPermission.registrant, repositoryPermission.permission);

               if (repositoryPermission.mutable) {

                  userModel.setRepositoryPermission(repositoryPermission.registrant, repositoryPermission.permission);

               }

            }



            Iterator<String> selectedTeams = teams.getSelectedChoices();