From 8e9988c38cae55932cf707857fa8a06943e01d15 Mon Sep 17 00:00:00 2001 From: James Moger <james.moger@gitblit.com> Date: Mon, 19 Mar 2012 16:28:58 -0400 Subject: [PATCH] Ensure repository indexes are properly closed before deletion --- src/com/gitblit/wicket/GitBlitWebApp.properties | 13 ++++++++++++- 1 files changed, 12 insertions(+), 1 deletions(-) diff --git a/src/com/gitblit/wicket/GitBlitWebApp.properties b/src/com/gitblit/wicket/GitBlitWebApp.properties index 1a8513a..0952b57 100644 --- a/src/com/gitblit/wicket/GitBlitWebApp.properties +++ b/src/com/gitblit/wicket/GitBlitWebApp.properties @@ -210,4 +210,15 @@ gb.federationRepositoryDescription = share this repository with other Gitblit servers gb.hookScriptsDescription = run Groovy scripts on pushes to this Gitblit server gb.reset = reset -gb.pages = pages \ No newline at end of file +gb.pages = pages +gb.workingCopy = working copy +gb.workingCopyWarning = this repository has a working copy and can not receive pushes +gb.query = query +gb.queryHelp = write brief explanation of Lucene syntax here +gb.authored = authored +gb.committed = committed +gb.indexedBranches = indexed branches +gb.indexedBranchesDescription = select the branches to include in your Lucene index +gb.noIndexedRepositoriesWarning = none of your repositories are configured for Lucene indexing +gb.undefinedQueryWarning = query is undefined! +gb.gb.noSelectedRepositoriesWarning = please select one or more repositories! \ No newline at end of file -- Gitblit v1.9.1