private void shutdownServlet(final Servlet servlet) { servlet.destroy(); servlets.remove(servlet.getClass()); servletStats.remove(servlet.getClass()); }
private void shutdownServlet(final Servlet servlet) { servlet.destroy(); servlets.remove(servlet.getClass()); servletStats.remove(servlet.getClass()); }