Servlet - 自动页面刷新
假设有一个网页正在显示实时比赛比分、股票市场状态或货币兑换率。对于所有此类页面，您需要使用浏览器中的刷新或重新加载按钮定期刷新网页。
Java Servlet 通过提供一种机制使这项工作变得简单，您可以让网页在给定间隔后自动刷新。
刷新网页的最简单方法是使用响应对象的方法 setIntHeader()。以下是该方法的签名 −
public void setIntHeader(String header, int headerValue)
该方法将标头"Refresh"连同表示时间间隔(以秒为单位)的整数值一起发送回浏览器。
自动页面刷新示例
此示例显示了 servlet 如何使用 setIntHeader() 方法设置 Refresh 标头来执行自动页面刷新。
// 导入所需的 Java 库
import java.io.*;
import javax.servlet.*;
import javax.servlet.http.*;
import java.util.*;
// 扩展 HttpServlet 类
public class Refresh extends HttpServlet {
// 处理 GET 方法请求的方法。
public void doGet(HttpServletRequest request, HttpServletResponse response)
throws ServletException, IOException {
// 设置刷新、自动加载时间为 5 秒
response.setIntHeader("Refresh", 5);
// 设置响应内容类型
response.setContentType("text/html");
// 获取当前时间
Calendar calendar = new GregorianCalendar();
String am_pm;
int hour = calendar.get(Calendar.HOUR);
int minute = calendar.get(Calendar.MINUTE);
int second = calendar.get(Calendar.SECOND);
if(calendar.get(Calendar.AM_PM) == 0)
am_pm = "AM";
else
am_pm = "PM";
String CT = hour+":"+ minute +":"+ second +" "+ am_pm;
PrintWriter out = response.getWriter();
String title = "Auto Page Refresh using Servlet";
String docType =
"<!doctype html public \"-//w3c//dtd html 4.0 " + "transitional//en\">";
out.println(docType +
"<html>" ++
"<head><title>" + title + "</title></head>
"+
"<body bgcolor = \"#f0f0f0\">" ++
"<h1 align = \"center\">" + title + "</h1>" ++
"<p>Current Time is: " + CT + "</p>
"
);
}
// 处理 POST 方法请求的方法。
public void doPost(HttpServletRequest request, HttpServletResponse response)
throws ServletException, IOException {
doGet(request, response);
}
}
现在让我们编译上述 servlet 并在 web.xml 中创建以下条目
....
<servlet>
<servlet-name>Refresh</servlet-name>
<servlet-class>Refresh</servlet-class>
</servlet>
<servlet-mapping>
<servlet-name>Refresh</servlet-name>
<url-pattern>/Refresh</url-pattern>
</servlet-mapping>
....
现在使用 URL http://localhost:8080/Refresh 调用此 servlet，它将每 5 秒显示一次当前系统时间，如下所示。只需运行 servlet 并等待查看结果 −
Auto Page Refresh using Servlet
Current Time is: 9:44:50 PM
