Clean shutdown in Tomcat

[Hannes Ebner]

Hello,

I'm running Restlets in Tomcat and need a way to cleanly shutdown a
repository - is there a shutdown hook or a destroy() method I could use?

What's common practice for doing this?

Best regards,
Hannes