pair(writer, "servlet", _servlet);
pair(writer, "name", _servlet.getServletName());
pair(writer, "servletInfo", _servlet.getServletInfo());
ServletConfig config = _servlet.getServletConfig();
List names = getSorted(config.getInitParameterNames());
count = names.size();
for (int i = 0; i < count; i++)
{
if (i == 0)
{
section(writer, "Init Parameters");
header(writer, "Name", "Value");
}
String name = (String) names.get(i);
;
pair(writer, name, config.getInitParameter(name));
}
writer.end(); // Servlet
ServletContext context = config.getServletContext();
object(writer, "Servlet Context");
writer.begin("table");
writer.attribute("class", "request-context-object");