Re: [jetty-users] Servlet.destroy() not called on Jetty 10 stop ?

[Simone Bordet <sbordet@xxxxxxxxxxx>]

Hi,

On Thu, May 27, 2021 at 8:50 AM Óscar Frías Barranco <ofrias@xxxxxxxxx> wrote:
>
> Hi.
>
> Thanks for your reply.  I have found the source of the problem.  We had to add this line to our configuration:
>
> jetty.server.stopAtShutdown=true
>
> Without it Servlet.destroy() is not called.  It seems to me that the default behavior should be the opposite, because calling Servlet.destroy() is what one expects from the servlet container, and not calling it looks like an optional optimization.

Can you please open an issue about this?

Thanks!

-- 
Simone Bordet
----
http://cometd.org
http://webtide.com
Developer advice, training, services and support
from the Jetty & CometD experts.