> This sort of thing can be caused by network problems, e.g. the host is > unreachable or incorrect. I had a patch for these problems, but it > wasn't deemed suitable for merging. I thought it was probably that, but I was surprised not to see some kind of message about the connection being broken. -- Martin