Skip to content

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

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

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