[PATCH] 3.2b7 ContextManager.shutdown()

[Marc Saegesser <ma...@apropos.com>]

When Tomcat is shutdown not all contexts are shutdown.  This prevents the
destroy() method of servlets from being called.

The problem is the classic error of altering a collection during an
enumeration of that collection.  ContextManager.shutdown() gets an
enumeration of contextsV by calling ContextManager.getContexts() and then
calls ContextManager.removeContext() for each element.
ContextManager.removeContext() calls contextsV.removeElement() which
invalidates the enumeration in shutdown().

Attached is a patch that fixes the problem.