假设一个 web 页面，显示了现场比赛得分或股票市场状况或货币兑换率。对于所有这些类型的页面，你都需要使用你浏览器中的 refresh 或 reload 按钮来定期刷新 web 页面。
Java Servlet 提供给你一个机制使这项工作变得简单，可以使得 web 页面在给定的时间间隔自动刷新。
刷新一个 web 页面最简单的方式是使用响应对象的方法 setIntHeader()。以下是这种方法的特征：
public void setIntHeader(String header, int headerValue)此方法将头信息 “Refresh” 和一个表示时间间隔的整数值（以秒为单位）发送回浏览器。
这个例子演示了 servlet 如何使用 setIntHeader() 方法设置 Refresh 头信息，实现自动刷新页面。
// Import required java libraries
import java.io.*;
import javax.servlet.*;
import javax.servlet.http.*;
import java.util.*;
// Extend HttpServlet class
public class Refresh extends HttpServlet {
// Method to handle GET method request.
public void doGet(HttpServletRequest request,
HttpServletResponse response)
throws ServletException, IOException
{
// Set refresh, autoload time as 5 seconds
response.setIntHeader("Refresh", 5);
// Set response content type
response.setContentType("text/html");
// Get current time
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">n";
out.println(docType +
"<html>n" +
"<head><title>" + title + "</title></head>n"+
"<body bgcolor="#f0f0f0">n" +
"<h1 align="center">" + title + "</h1>n" +
"<p>Current Time is: " + CT + "</p>n");
}
// Method to handle POST method request.
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>
....现在使用 URLhttp://localhost:8080/Refresh 来调用这个 servlet。这将会每隔 5 秒钟显示一次当前系统时间，如下所示。运行该 servlet 并等着看结果：
Auto Page Refresh using Servlet
Current Time is: 9:44:50 PM
Swift教程 -Swift for语句 for 循环执行设置的次数。我们使用 for 关键字以及结束条件和for循环声明。例子以下循环语句向控制台...
Swift for-in 循环Swift 循环Swift for-in 循环用于遍历一个集合里面的所有元素，例如由数字表示的区间、数组中的元素、字符串中...
高效 Rust现在你已经学会了如何编写一些 Rust 代码。但是在编写出 Rust 代码和编写出良好的 Rust 代码，还是有一定区别的。这部...
不依赖 stdlib默认情况下，std 会链接到每一个 Rust 的封装对象。在一些场景下，这并不是很理想的，在需要的情境下使用 #
