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

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

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

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

相关文章:

  • 2021-12-05
  • 2021-12-05
  • 2021-12-05
  • 2021-11-19
  • 2021-11-19
  • 2022-12-23
  • 2021-12-08
  • 2021-11-19
猜你喜欢
  • 2022-12-23
  • 2021-07-10
  • 2021-10-14
相关资源
相似解决方案