String flush = request.getParameter("flush");
if (type == null && template == null && lang == null && query == null && limit == null && distinct == null && format == null) {
if (flush == null || flush.equals("")) flush = "false";
boolean doFlush = flush.toLowerCase().startsWith("t");
if (doFlush) {
TriplestoreWriter writer = server.getWriter();
if (writer != null) writer.flushBuffer();
}
response.setContentType("text/html; charset=UTF-8");
doForm(server, new PrintWriter(new OutputStreamWriter(
response.getOutputStream(), "UTF-8")),
request.getRequestURL().toString(),