Delete working copy of wiki repository in repository deletion.

This commit is contained in:
takezoe
2013-06-20 00:33:01 +09:00
parent df78fdbaca
commit 1826b81e99

View File

@@ -122,6 +122,7 @@ trait SettingsControllerBase extends ControllerBase {
FileUtils.deleteDirectory(getRepositoryDir(owner, repository)) FileUtils.deleteDirectory(getRepositoryDir(owner, repository))
FileUtils.deleteDirectory(getWikiRepositoryDir(owner, repository)) FileUtils.deleteDirectory(getWikiRepositoryDir(owner, repository))
FileUtils.deleteDirectory(getWikiWorkDir(owner, repository))
redirect("/%s".format(owner)) redirect("/%s".format(owner))
}) })