JSP供应了一种机制来使这种事情变得大略,它能够定时田主动刷新页面。
刷新一个页面最大略的办法便是利用response工具的setIntHeader()方法。这个方法的署名如下:
public void setIntHeader(String header, int headerValue)
这个方法关照浏览器在给定的韶光后刷新,韶光以秒为单位。
页面自动刷新程序示例
这个例子利用了setIntHeader()方法来设置刷新头,仿照一个数字时钟:
把以上代码保存在main.jsp文件中,访问它。它会每隔5秒钟刷新一次页面并获取系统当前韶光。运行结果如下:
您也可以自己动手写个更繁芜点的程序。