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 = "使用 Servlet 自动刷新页面";
String docType =
"<!doctype html public \"-//w3c//dtd html 4.0 " +
"transitional//en\">\n";
out.println(docType +
"<html>\n" +
"<head><title>" + title + "</title></head>\n"+
"<body bgcolor=\"#f0f0f0\">\n" +
"<h1 align=\"center\">" + title + "</h1>\n" +
"<p>当前时间是：" + CT + "</p>\n");
}
// 处理 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，並等待檢視結果：
使用Servlet 自動重新整理頁面目前時間是：9:44:50 PM |
