(The server drops the connection, and the client then gets stuck in an infinite busy-loop rather than realising the connection is gone. I've just sent a fix for that to the list, but obviously that's not the main bug here.)
(The server drops the connection, and the client then gets stuck in an infinite busy-loop rather than realising the connection is gone. I've just sent a fix for that to the list, but obviously that's not the main bug here.)