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 | 11 ++++++++++- 1 files changed, 10 insertions(+), 1 deletions(-) diff --git a/src/com/gitblit/wicket/GitBlitWebApp.properties b/src/com/gitblit/wicket/GitBlitWebApp.properties index b4501c3..0952b57 100644 --- a/src/com/gitblit/wicket/GitBlitWebApp.properties +++ b/src/com/gitblit/wicket/GitBlitWebApp.properties @@ -212,4 +212,13 @@ gb.reset = reset gb.pages = pages gb.workingCopy = working copy -gb.workingCopyWarning = this repository has a working copy and can not receive pushes \ No newline at end of file +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