package javacodebook.server.servletbasics.server;

import java.util.*;

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

/**
 *  Ausgabe von Informationen über den verwendeten Server, in dem die Servlets
 *  laufen.
 */
public class ServerInfo extends HttpServlet {

    protected void doGet(HttpServletRequest request, HttpServletResponse response)
    throws ServletException, java.io.IOException {
        java.io.PrintWriter out = response.getWriter();
        ServletContext context = getServletConfig().getServletContext();
        for(Enumeration enum = context.getAttributeNames(); enum.hasMoreElements(); )
        {
            String name = (String)enum.nextElement();
            out.println(name + "=" + context.getAttribute(name));
        }
        int major = context.getMajorVersion();
        int minor = context.getMinorVersion();
        out.println("JSDK " + major + "." + minor);
        out.println("Server: " + context.getServerInfo());
    }
}