An exception occurring during Servlet.destroy() is not logged

There's no evidence of an exception thrown in a Servlet destroy method; the only hint you have that something has gone wrong is the fact that the ServletContextListener.contextDestroyed methods are not invoked (I don't know if this is the expected behavior: for instance JBoss 7.1.1 logs the Servlet.destroy exception and then invokes ServletContextListener.contextDestroyed anyway).

Thank you,

lorenzo