Gitblit devel
parent: 38ba3699 | patch | commit | ignore whitespace
James Moger
2014-05-29 e6ba88ec330241395b10d2e487b33b77672857a3 
Merge branch 'ticket/87' into develop
2 files modified
4 ■■■■■ changed files
src/main/java/com/gitblit/wicket/pages/EditTicketPage.java 2 ●●●●● patch | view | raw | blame | history
src/main/java/com/gitblit/wicket/pages/TicketPage.java 2 ●●●●● patch | view | raw | blame | history 
 src/main/java/com/gitblit/wicket/pages/EditTicketPage.java


@@ -171,7 +171,7 @@


            } else {



                // authorization is by NAMED users (users with PUSH permission can be set responsible)



                for (RegistrantAccessPermission rp : app().repositories().getUserAccessPermissions(getRepositoryModel())) {



                    if (rp.permission.atLeast(AccessPermission.PUSH) && !rp.isTeam()) {



                    if (rp.permission.atLeast(AccessPermission.PUSH)) {



                        userlist.add(rp.registrant);



                    }



                }





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


@@ -391,7 +391,7 @@


                } else {



                    // authorization is by NAMED users (users with PUSH permission can be set responsible)



                    for (RegistrantAccessPermission rp : app().repositories().getUserAccessPermissions(getRepositoryModel())) {



                        if (rp.permission.atLeast(AccessPermission.PUSH) && !rp.isTeam()) {



                        if (rp.permission.atLeast(AccessPermission.PUSH)) {



                            userlist.add(rp.registrant);



                        }



                    }