Removed some debug prints (well, changed from info() to finer()) and got
the timeout working on the server side. Problem on the client side is
that it doesn't realize when the socket was closed.