Why do I have to press Ctrl+D twice to close stdin?

Question

I have the following Python script that reads numbers and outputs an error if the input is not a number.

import fileinput
import sys
for line in (txt.strip()         


        

Answer 1

Most likely this has to do with Python the following Python issues:

• 5505: sys.stdin.read() doesn't return after first EOF on Windows, and
• 1633941: for line in sys.stdin: doesn't notice EOF the first time.