[slime-devel] auto-flush-thread cleanup and stop-server fix

[Helmut Eller]

* Sven Van Caekenberghe [2008-12-09 11:55+0100] writes:

> I included a diff below. If you want the patch any other way, just ask.

Patch committed.
Helmut.