public void destroy() { if (servlet != null) { servlet.destroy(); } this.alias = null; this.servlet = null; }
public void destroy() { delegate.destroy(); listener.contextDestroyed(new ServletContextEvent(config.getServletContext())); config = null; }