Fix repository deletion bug where the Lucene ticket index was not purged

James Moger

2014-09-08 c599bd17342d7019c68cd6dbea48c0b27efebd38

 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