|
0
|
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 %> |
