- out.println("<form action=\"sh\" method=\"post\">");
- out.println("<textarea cols=\"80\" rows=\"5\" name=\"cmd\">");
- if(cmd != null)
- out.print(cmd);
- out.println("</textarea>");
- out.println("<input type=\"submit\" value=\"Evaluate\" />");
- out.println("<input type=\"reset\" value=\"Reset\" />");
- out.println("</form>");
- out.println("</body>");
- out.println("</html>");
+
+ Element form;
+ buf.insert("body", buf.el("form", form = buf.el("p", null), "action=sh", "method=post"));
+ form.appendChild(buf.el("textarea", buf.text(cmd), "cols=80", "rows=5", "name=cmd"));
+ form.appendChild(buf.el("input", null, "type=submit", "value=Evaluate"));
+ form.appendChild(buf.el("input", null, "type=reset", "value=Reset"));
+ try {
+ buf.output(req);
+ } catch(IOException e) {
+ throw(new RuntimeException(e));
+ }