A proper way to stop thread ?

[Laurent Michenaud]

Hi,
 
We are using Timer in our web application.
 
We are wondering how to stop the Timer when tomcat shutdown.
 
For the moment, we add Timer.cancel() in the destroy() of the servlet
that launches the Timer.
 
I don't know if it is good or not.
 
When is a servlet killed ? at tomcat shutdown or when it is not used
anymore ( GC ) ?