Re: Shutting down orion

[Jim Crossley]

Thanks for all your responses on this.  Had I looked at orionsupport
first like I should, I wouldn't have even posted the question!  

I was happy to see that ^C or SIGTERM shuts down orion cleanly as
well... since jdk1.3 allows you to trap signals now.