| commit | 4755ab010f18863e305bbd17bbc16b7f39aed360 | [log] [tgz] |
|---|---|---|
| author | Victor Stinner <victor.stinner@haypocalc.com> | Tue May 10 00:19:53 2011 +0200 |
| committer | Victor Stinner <victor.stinner@haypocalc.com> | Tue May 10 00:19:53 2011 +0200 |
| tree | ac5b61397fde63b3deb58bf2e4c7f964f2720aa6 | |
| parent | f9756c2336029d082317718cd1b2e330f48164d6 [diff] |
Issue #1195: Fix input() if it is interrupted by CTRL+d and then CTRL+c, clear the end-of-file indicator after CTRL+d.