Fix read_line to raise EOFError if nothing was read

Fix read_line to raise EOFError if nothing was read #911