Fix for the case where stdin is not a terminal, so commands are directly
commite7458a50a4255a49b62d69bde4e8089112ada70b
authorg@localhost.localdomain <>
Sat, 2 Dec 2006 22:40:23 +0000 (2 23:40 +0100)
committerGuillaume Chazarain <guichaz@yahoo.fr>
Sat, 2 Dec 2006 22:40:23 +0000 (2 23:40 +0100)
tree226bf4fb3da0635560ef5ea65b51095826b2d781
parent9786500805c4d2f8f13612165e5ae4ebd81464bd
Fix for the case where stdin is not a terminal, so commands are directly
available.
gsh/stdin.py