When interrupted, keep the content of the raw_input() buffer to
commitda506f50f150ebc4a301db9a37e87e9453e98b65
authorGuillaume Chazarain <guichaz@gmail.com>
Fri, 9 May 2008 21:44:10 +0000 (9 23:44 +0200)
committerGuillaume Chazarain <guichaz@gmail.com>
Fri, 9 May 2008 21:44:10 +0000 (9 23:44 +0200)
treea1c0a17c313239348056d1427c0af6a1fcdebcbe
parent7ae82aee7a79c67de97fe993202407383ab08ffa
When interrupted, keep the content of the raw_input() buffer to
restore it when the prompt is back.
gsh/main.py
gsh/stdin.py