/**
* Process an HTML get or post.
*
* @exception ServletException From inherited class.
* @exception IOException From inherited class.
*/
public void doProcess(HttpServletRequest req, HttpServletResponse res)
throws ServletException, IOException {
try {
res.setDateHeader("Expires", 0); // Make sure the browser never caches these requests
res.setHeader("Pragma", "No-cache");
res.setHeader("Cache-Control", "no-cache");
m_servletTask.doProcess(this, req, res, null);
} catch (Throwable ex) {
ex.printStackTrace();
}
}
/**
* Destroy this Servlet and any active applications. This is only called when all users are done
* using this Servlet.
*/
public void destroy() {
super.destroy();
if (m_servletTask != null) m_servletTask.free();
m_servletTask = null;
ServletTask.destroyServlet();
}