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