FileDocCategorySizeDatePackage
AutoServlet.javaAPI DocExample1171Sat Feb 21 09:00:06 GMT 2004com.jspservletcookbook

AutoServlet.java

package com.jspservletcookbook;           

import javax.servlet.*;
import javax.servlet.http.*;

public class AutoServlet extends HttpServlet {
    
  public void doGet(HttpServletRequest request, HttpServletResponse response)
    throws ServletException, java.io.IOException {
    
      //client browser will request the page every 60 seconds
	  HttpSession session = request.getSession();
      Long times = (Long) session.getAttribute("times");
      if (times == null)
          session.setAttribute("times",new Long(0));
     long temp = 1;
     if (times != null)
         temp = (times.longValue()) + 1;

     if (temp < 5) 
         response.addHeader("Refresh","15");

      response.setContentType("text/html");
      java.io.PrintWriter out = response.getWriter();
      out.println("<html><head><title>Client Refresh</title></head><body>");
      out.println("<h2>Welcome to the Red Sox - Yankees series...</h2>");
     //More HTML or dynamic content
	  out.println("You've viewed this page "+temp+" times.");
	  session.setAttribute("times",new Long(temp));
      out.println("</body></html>");
      
     } //end doGet
}