/**
* 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();
}
/**
* init method.
*
* @exception ServletException From inherited class.
*/
public void init(ServletConfig config) throws ServletException {
super.init(config);
ServletTask.initServlet(this, BasicServlet.SERVLET_TYPE.PROXY);
m_servletTask = this.createProxyTask();
}