Get the page body from a file.
|
NEW(fileName) @public | Create a new FileServlet that reads fileName.
|
|
$setFile(fileName) @public | Set the file to read to fileName.
|
|
$serve(context)
bool @public | Handle a request by reading the file and putting it 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.
|
|