Shutting Down Orion

[Neal Kaiser]

What is the correct way to shut down orion?
I have just killing the process...is there a better way?
I doubt the destroy() method of all the servlets has been getting called my
way.

Thanks.