Merged #259 "Allow custom host & port specification for advertised SSH urls"

James Moger

2015-06-15 0805ff838562e3b19d31083d80762abcd0ebd106

 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();