diff src/global/web/tools/Reindex.jtp @ 0:7ecd1a4ef557

add content
author Franklin Schmidt <fschmidt@gmail.com>
date Thu, 21 Mar 2019 19:15:52 -0600
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/global/web/tools/Reindex.jtp	Thu Mar 21 19:15:52 2019 -0600
@@ -0,0 +1,38 @@
+<%
+package global.web.tools;
+
+import java.io.IOException;
+import java.io.PrintWriter;
+import javax.servlet.http.HttpServlet;
+import javax.servlet.http.HttpServletRequest;
+import javax.servlet.http.HttpServletResponse;
+import global.Site;
+
+
+public final class Reindex extends HttpServlet {
+
+	protected void service(HttpServletRequest request,HttpServletResponse response)
+		throws IOException
+	{
+		if( request.getParameter("reindex") != null ) {
+			Site.startReindexing();
+			response.sendRedirect("Reindex.jtp");
+			return;
+		}
+		PrintWriter out = response.getWriter();
+		%>
+		<html>
+			<head>
+				<title>Reindex</title>
+			</head>
+			<body>
+				<h1>Reindex</h1>
+				<p>Status: <%=Site.status%> (reload page to update)</p>
+				<form action="Reindex.jtp"><input type="submit" name="reindex" value="Reindex"></form>
+			</body>
+		</html>
+		<%
+	}
+
+}
+%>
\ No newline at end of file