Java Servlet 提供了一个机制,使得网页会在给定的时间间隔自动刷新。
刷新网页的最简单的方式是使用响应对象的方法 setIntHeader()。以下是这种方法的定义:
public void setIntHeader(String header, int headerValue)
此方法把头信息 "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 = "使用 Servlet 自动刷新页面";
String docType =
""-//w3c//dtd html 4.0 " +
"transitional//en\">\n";
out.println(docType +
"\n" +
"
" + title + "\n"+"
\n" +"
" + title + "
\n" +"
当前时间是:" + CT + "
\n");}
// 处理 POST 方法请求的方法
public void doPost(HttpServletRequest request,HttpServletResponse response)throws ServletException, IOException {
doGet(request, response);
}
}
现在让我们来编译上面的 Servlet,并在 web.xml 文件中创建以下条目:
....
Refresh
Refresh
Refresh
/Refresh
....
现在通过访问 URL http://localhost:8080/Refresh 来调用这个 Servlet。这将会每隔 5 秒钟显示一次当前系统时间。运行该 Servlet,并等待查看结果: