[project @ 2002-10-14 14:54:16 by simonmar]
authorsimonmar <unknown>
Mon, 14 Oct 2002 14:54:16 +0000 (14:54 +0000)
committersimonmar <unknown>
Mon, 14 Oct 2002 14:54:16 +0000 (14:54 +0000)
commit3312cb5906bb61b74914663535907c7d76cdfeed
treeaf1db97990f5ee0db14a5af50683051f0f454e1b
parent2c9d00dfeeb7c1c4e3f036a66cdb8648fdfbce2b
[project @ 2002-10-14 14:54:16 by simonmar]
Put stdin back into non-blocking mode after calling readline, because
readline sometimes clears the O_NONBLOCK flag (done using the
GHC.Posix interface, so it shouldn't break Win32).
ghc/compiler/ghci/InteractiveUI.hs