Note that readline returns '' on EOF, not "EOF" (whatever that may be).
1 file changed