Allow gitblit baseFolder to be defined by a system property

Koen Serry

2014-08-03 538991e465c7a3badceb5629c3410e16cc900778

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

               }

            }