if read timeout time reached,raise a condition of type END-OF-FILE correctly.