| commit | d77e04fe7705181732645855e00f86fef0aca155 | |
| author | Guillaume Chazarain <guichaz@gmail.com> | |
| Sat, 10 May 2008 13:46:09 +0000 (10 15:46 +0200) | ||
| committer | Guillaume Chazarain <guichaz@gmail.com> | |
| Sat, 10 May 2008 13:46:09 +0000 (10 15:46 +0200) | ||
| tree | 4f797a053927cada5a03871c307cb50f7cff6574 | treesnapshot (tar.gz zip) |
| parent | 2b1f0968606968694e88d52438790dfac2e0cca8 | commitdiff |
When exiting using Ctrl-D or exit, the stdin thread is still in
raw_input(), so exits via an EOFError exception. This causes the
stdin's tty parameters to not be reset. So reset them manually
on exit.
raw_input(), so exits via an EOFError exception. This causes the
stdin's tty parameters to not be reset. So reset them manually
on exit.
| gsh/main.py | diffblobblamehistory |