/** Remove the page from any cache. */
public void killPage(HttpServletRequest request, HttpServletResponse response, Page page) {
_manager.killPage(request, response, page);
}
/** Remove the page from any cache. */
public void killPage(HttpServletRequest request, HttpServletResponse response, Page page) {
_manager.killPage(request, response, page);
}
