Sorry, an open socket which has currently no data (what happens if it has data I could not test) returns eof() too. I must know before I read because after open I must send data, and if the Server doesn't like me he could close the door into my nose. That eof I must distinguish from an eof because of the last Server timed out.