[slime-devel] Re: Swank restart-server Patch