comparison 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
comparison
equal deleted inserted replaced
-1:000000000000 0:7ecd1a4ef557
1 <%
2 package global.web.tools;
3
4 import java.io.IOException;
5 import java.io.PrintWriter;
6 import javax.servlet.http.HttpServlet;
7 import javax.servlet.http.HttpServletRequest;
8 import javax.servlet.http.HttpServletResponse;
9 import global.Site;
10
11
12 public final class Reindex extends HttpServlet {
13
14 protected void service(HttpServletRequest request,HttpServletResponse response)
15 throws IOException
16 {
17 if( request.getParameter("reindex") != null ) {
18 Site.startReindexing();
19 response.sendRedirect("Reindex.jtp");
20 return;
21 }
22 PrintWriter out = response.getWriter();
23 %>
24 <html>
25 <head>
26 <title>Reindex</title>
27 </head>
28 <body>
29 <h1>Reindex</h1>
30 <p>Status: <%=Site.status%> (reload page to update)</p>
31 <form action="Reindex.jtp"><input type="submit" name="reindex" value="Reindex"></form>
32 </body>
33 </html>
34 <%
35 }
36
37 }
38 %>