Servlet 自动刷新页面


假设有一个网页,它是显示现场比赛成绩或股票市场状况或货币兑换率。对于所有这些类型的页面,您需要定期刷新网页。

Java Servlet 提供了一个机制,使得网页会在给定的时间间隔自动刷新。

刷新网页的最简单的方式是使用响应对象的方法 setIntHeader()。以下是这种方法的定义:

  1. public void setIntHeader(String header, int headerValue)

此方法把头信息 "Refresh" 连同一个表示时间间隔的整数值(以秒为单位)发送回浏览器。

自动刷新页面实例

本实例演示了 Servlet 如何使用 setIntHeader() 方法来设置 Refresh 头信息,从而实现自动刷新页面。

  1. // 导入必需的 java 库
  2. import java.io.*;
  3. import javax.servlet.*;
  4. import javax.servlet.http.*;
  5. import java.util.*;
  6. // 扩展 HttpServlet 类
  7. public class Refresh extends HttpServlet {
  8. // 处理 GET 方法请求的方法
  9. public void doGet(HttpServletRequest request,
  10. HttpServletResponse response)
  11. throws ServletException, IOException
  12. {
  13. // 设置刷新自动加载的事件间隔为 5 秒
  14. response.setIntHeader("Refresh", 5);
  15. // 设置响应内容类型
  16. response.setContentType("text/html");
  17. // 获取当前的时间
  18. Calendar calendar = new GregorianCalendar();
  19. String am_pm;
  20. int hour = calendar.get(Calendar.HOUR);
  21. int minute = calendar.get(Calendar.MINUTE);
  22. int second = calendar.get(Calendar.SECOND);
  23. if(calendar.get(Calendar.AM_PM) == 0)
  24. am_pm = "AM";
  25. else
  26. am_pm = "PM";
  27. String CT = hour+":"+ minute +":"+ second +" "+ am_pm;
  28. PrintWriter out = response.getWriter();
  29. String title = "使用 Servlet 自动刷新页面";
  30. String docType =
  31. "<!doctype html public \"-//w3c//dtd html 4.0 " +
  32. "transitional//en\">\n";
  33. out.println(docType +
  34. "<html>\n" +
  35. "<head><title>" + title + "</title></head>\n"+
  36. "<body bgcolor=\"#f0f0f0\">\n" +
  37. "<h1 align=\"center\">" + title + "</h1>\n" +
  38. "<p>当前时间是:" + CT + "</p>\n");
  39. }
  40. // 处理 POST 方法请求的方法
  41. public void doPost(HttpServletRequest request,
  42. HttpServletResponse response)
  43. throws ServletException, IOException {
  44. doGet(request, response);
  45. }
  46. }

现在让我们来编译上面的 Servlet,并在 web.xml 文件中创建以下条目:

  1. ....
  2. <servlet>
  3. <servlet-name>Refresh</servlet-name>
  4. <servlet-class>Refresh</servlet-class>
  5. </servlet>
  6. <servlet-mapping>
  7. <servlet-name>Refresh</servlet-name>
  8. <url-pattern>/Refresh</url-pattern>
  9. </servlet-mapping>
  10. ....

现在通过访问 URL http://localhost:8080/Refresh 来调用这个 Servlet。这将会每隔 5 秒钟显示一次当前系统时间。运行该 Servlet,并等待查看结果:

当前时间是:9:44:50 PM