A non-void cmd is always valid, even if it raced with self.interrupt_asked
commitb5c516c99df55ce9e34b24cd7dc71d4c3f34c0cb
authorGuillaume Chazarain <guichaz@gmail.com>
Sat, 29 Mar 2008 23:08:45 +0000 (30 00:08 +0100)
committerGuillaume Chazarain <guichaz@gmail.com>
Sat, 29 Mar 2008 23:08:45 +0000 (30 00:08 +0100)
tree5013a87cf032eff13a8226901d591942aab08761
parentf56c9e6917a06bcde885463a2a2ccc56fbf864d1
A non-void cmd is always valid, even if it raced with self.interrupt_asked
gsh/stdin.py