[slime-devel] Re: right way to shut down slime?