response.sendRedirect(s.substring("redirect:".length()));
return;
}
if (s.startsWith("script:")) {
String script = s.substring("script:".length());
new JavaScriptRenderer(script).render(servletContext, request, response);
return;
}
new TextRenderer(s).render(servletContext, request, response);
return;
}