[slime-devel] Stream flushing race

Any comments on the second stream-flush race patch I posted? I've now been using it more or less continously sinec it was posted, and it's solved the duplicated output problem for me nicely, without causing any problems. -- Robert Macomber slime@rojoma.com / Thas on #lisp