Issue #1195: Fix input() if it is interrupted by CTRL+d and then CTRL+c,
clear the end-of-file indicator after CTRL+d.
V
Victor Stinner committed
4755ab010f18863e305bbd17bbc16b7f39aed360
Parent: f9756c2
clear the end-of-file indicator after CTRL+d.