Re: [slime-devel] (re)connecting to swank server