152153154155156157158159160161162
out.endElement("style"); out.endElement("head"); out.startElement("body"); out.writeElement("h1", title); out.startElement("table"); out.writeAttribute("border", 0);
155156157158159160161162163164165
out.endElement("head"); out.startElement("body"); out.writeElement("h1", title); out.startElement("table"); out.writeAttribute("border", 0); out.startElement("tr"); out.writeLineElement("th", L.l("Name"));
158159160161162163164165166167168
out.writeElement("h1", title); out.startElement("table"); out.writeAttribute("border", 0); out.startElement("tr"); out.writeLineElement("th", L.l("Name")); out.writeLineElement("th", L.l("Average Time")); out.writeLineElement("th", L.l("Min Time"));
322323324325326327328329330331332
String contextPath = request.getContextPath(); if (contextPath == null || contextPath.length() == 0) contextPath = "/"; out.startElement("profile"); out.writeLineElement("name", contextPath); List<ProfilerPoint> children = _profilerManager.getRoot().getChildren();