假設有一個網頁,它是顯示現場比賽成績或股票市場狀況或貨幣兌換率。對于所有這些類型的頁面,您需要定期刷新網頁。
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 |