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.