package se452examples; import java.io.*; import java.util.*; import javax.servlet.*; import javax.servlet.http.*; import org.apache.ecs.*; import org.apache.ecs.html.*; /** * A servlet to demonstrate the use of the request headers API * It also uses ECS to format the results. * * @version 1.0 2001/08/19 * @since 1.0 * @author Mike Gehard */ public class RequestHeaders extends HttpServlet{ public void doPost(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException{ response.setContentType("text/html"); PrintWriter out = response.getWriter(); out.println(createPage(request)); } public void doGet(HttpServletRequest request, HttpServletResponse response) throws ServletException, IOException{ // forward to doPost() doPost(request, response); } private String createPage(HttpServletRequest request){ Table table = new Table(0); // border = 0 // create the HTML tree Html html = new Html(); Head head = new Head(); Title title = new Title("Servlet Request Headers"); Body body = new Body(); body.addElement(new H1("Here are the request headers")); head.addElement(title); body.addElement(table); html.addElement(head); html.addElement(body); Enumeration e = request.getHeaderNames(); while (e.hasMoreElements()){ String name = (String) e.nextElement(); String value = request.getHeader(name); TR tr = new TR(); TD col1 = new TD(); TD col2 = new TD(); I it = new I(); Font font = new Font(); table.addElement(tr); tr.addElement(col1); tr.addElement(col2); col1.addElement(it); it.addElement(font); font.setColor(HtmlColor.BLUE); font.addElement(name); col2.addElement(value); } return html.toString(); } }