In DefaultServlet.destroy()
if a _nioCache.stop() throws an exception, then the _bioCache.stop() never executes.
You can create the patch if you like.
Jan
protected in extra try catch
You can create the patch if you like.
Jan