import java.io.*;
import javax.servlet.*;
import javax.servlet.http.*;

public class ReportStat extends HttpServlet {
    public void doGet(HttpServletRequest request, HttpServletResponse response)
    throws IOException, ServletException
    {
	// Get our session (if one exists) otherwise create one
	HttpSession session = request.getSession(true); 
	Stat mStat=(Stat)session.getAttribute("myStat");
	if(mStat==null){
		mStat=new Stat();
		session.setAttribute("myStat",mStat);
	}

	// All servlets share an instance of Stat
	ServletContext sc=getServletContext();
	Stat sStat=(Stat)sc.getAttribute("sharedStat");

        response.setContentType("text/html");
        PrintWriter out = response.getWriter();
        out.println("<html>");
        out.println("<head>");
        out.println("<title>Stat Update Report</title>");
        out.println("</head>");
        out.println("<body>");
	out.println("<table border>");
	out.println("<tr><th>Shared stat summary</th><td>"+sStat.report()+"</td></tr>");
	out.println("<tr><th>My stat summary</th><td>"+mStat.report()+"</td></tr>");
	out.println("</table>");
        out.println("</body>");
        out.println("</html>");

    }
}
