From b4677d1cad7e1a1ecb853e7a58190ea0a358fad6 Mon Sep 17 00:00:00 2001 From: orbiter Date: Tue, 9 Jul 2013 10:50:47 +0200 Subject: [PATCH] fix for bug #252 the naming of the servlet was wrong, the bug may not be present on systems where upper/lowercase matching is lazy (windows) --- .../{IndexReindexMonitor_p.html => IndexReIndexMonitor_p.html} | 0 htroot/env/templates/submenuIndexControl.template | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename htroot/{IndexReindexMonitor_p.html => IndexReIndexMonitor_p.html} (100%) diff --git a/htroot/IndexReindexMonitor_p.html b/htroot/IndexReIndexMonitor_p.html similarity index 100% rename from htroot/IndexReindexMonitor_p.html rename to htroot/IndexReIndexMonitor_p.html diff --git a/htroot/env/templates/submenuIndexControl.template b/htroot/env/templates/submenuIndexControl.template index 113eae4f7..b6a96779f 100644 --- a/htroot/env/templates/submenuIndexControl.template +++ b/htroot/env/templates/submenuIndexControl.template @@ -5,7 +5,7 @@
  • Index Deletion
  • Index Sources & Targets
  • Solr Schema Editor
  • -
  • Field Re-Indexing
  • +
  • Field Re-Indexing
  • #(p2p)#::
  • Reverse Word Index
  • #(/p2p)#