[slime-devel] Re: how to interrupt & kill function execution

Thanks Helmut, your patch seems to work--I'm heistant to say "works well", but it's certainly better than no interrupt at all. -- Frode Vatvedt Fjeld