Hi, On Thu, May 27, 2021 at 8:50 AM Óscar Frías Barranco <[email protected]> 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. _______________________________________________ jetty-users mailing list [email protected] To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jetty-users
