Done! https://github.com/eclipse/jetty.project/issues/6329
Óscar On Thu, May 27, 2021 at 11:30 AM Simone Bordet <sbor...@webtide.com> wrote: > Hi, > > On Thu, May 27, 2021 at 8:50 AM Óscar Frías Barranco <ofr...@gmail.com> > 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 > jetty-users@eclipse.org > To unsubscribe from this list, visit > https://www.eclipse.org/mailman/listinfo/jetty-users >
_______________________________________________ jetty-users mailing list jetty-users@eclipse.org To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/jetty-users
