Gitblit devel
parent: 0601663a | patch | commit | ignore whitespace
James Moger
2014-09-08 8be025e50f5c555bacceee2f63bda452e1edb0f6 
Merged #174 "Fix repository deletion bug where the Lucene ticket index was not purged"
1 files modified
2 ■■■■■ changed files
src/main/java/com/gitblit/wicket/pages/EditRepositoryPage.java 2 ●●●●● patch | view | raw | blame | history 
 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