Replaced repository name as search criterion with repository id

Eddy Young

2015-05-22 4cb1a97509b9b42ca7efb4fa0f727b89b044202d

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

@@ -681,7 +681,7 @@
            RepositoryModel latestModel = app().repositories().getRepositoryModel(repositoryModel.name);

            boolean canDelete = app().repositories().canDelete(latestModel);

            if (canDelete) {

               if (app().repositories().deleteRepositoryModel(latestModel)) {

               if (app().gitblit().deleteRepositoryModel(latestModel)) {

                  info(MessageFormat.format(getString("gb.repositoryDeleted"), latestModel));

                  if (latestModel.isPersonalRepository()) {

                     // redirect to user's profile page