fix: return an empty string when readline() reaches end-of-file (#1…

fix: return an empty string when readline() reaches end-of-file (#1… #1316