Wraps the given Java Servlet.
Wraps the given Java Servlet.
Loads a resource at the given path.
Loads a resource at the given path. If that resource is found, return the result of applying the given function, otherwise return the given value.
Unwraps the given HTTP servlet into a servlet.
Unwraps the given HTTP servlet into a servlet.
Loads a resource at the path of the given request.
Loads a resource at the path of the given request. If that resource is found, return the result of applying the given function, otherwise return the given value.
Loads a resource at the given path.
Loads a resource at the given path. If that resource is found, return the result of applying the given function, otherwise return the given value.
A wrapper around Java Servlet
HttpServlet
.