A Servlet that gets the page body from a string.
|
NEW(body) @public | Create a new StringServlet that puts body in the response.
|
|
$setBody(body) @public | Set the response string to body.
|
|
$serve(context)
bool @public | Handle a request by putting the string in the response.
|
|
Inherited from HTTP.Servlet:
|
|
$setAllPaths(allPaths) @public | Set whether this Servlet handles all paths.
|
|
$addPath(path) @public | Add a path that this servlet will serve for.
|
|
$handle(context)
bool @public | Check if this servlet wants to serve context.request.
|
|
$setMimeType(type) @public | Set the MIME type to be used in the response for this Servlet.
|
|
$filter(context)
bool @public | Filter context.request, possibly changing context.
|
|