サーブレットはページを自動的に更新します


ライブのゲーム結果、株式市場の状況、為替レートを表示する Web ページがあるとします。これらすべての種類のページでは、Web ページを定期的に更新する必要があります。

Java Servlet は、Web ページが一定の時間間隔で自動的に更新される仕組みを提供します。

Web ページを更新する最も簡単な方法は、応答オブジェクトのメソッド setIntHeader() を使用することです。このメソッドの定義は次のとおりです:

public void setIntHeader(String header, int headerValue)

このメソッドは、時間間隔を秒単位で表す整数値とともに「Refresh」ヘッダーをブラウザーに送り返します。

ページを自動的に更新する例

この例では、サーブレットが 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);
  }
}

次に、上記のサーブレットをコンパイルし、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 にアクセスして、このサーブレットを呼び出します。これにより、現在のシステム時間が 5 秒ごとに表示されます。サーブレットを実行し、結果が表示されるまで待ちます:

サーブレットを使用してページを自動的に更新します

現在の時刻: 9:44:50 PM