[project @ 2002-08-05 09:18:27 by simonmar]
authorsimonmar <unknown>
Mon, 5 Aug 2002 09:18:27 +0000 (09:18 +0000)
committersimonmar <unknown>
Mon, 5 Aug 2002 09:18:27 +0000 (09:18 +0000)
commitbb9056764f84f1ee452cea6906e89f6764ef561f
treea47fc73f50f0676219603a441cb849fe19a59c5a
parent259be9ef2ecc354d52622479921634606d6d2832
[project @ 2002-08-05 09:18:27 by simonmar]
We have to turn off the buffering on stdout, stdin & stderr after
every time we revert all CAFs, not just when starting up GHCi.

MERGE TO STABLE
ghc/compiler/ghci/InteractiveUI.hs