Does anyone know a way to get Jetty to shutdown in a more orderly fashion? When you press the red
square in the Development Mode UI, it just stops dead - consequently some of my server shutdown
scripts don't run.
I'd like to be able to detect the servlet context listener contextDestroyed event.
You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group.
To post to this group, send email to firstname.lastname@example.org.
To unsubscribe from this group, send email to email@example.com.
For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.