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