27 Aug
2004
27 Aug
'04
9:26 p.m.
Ketil Malde wrote:
"A.J. Bonnema" <abonnema@xs4all.nl> writes: <snip>
Sorry, I missed that suggestion. I just looked into kdevelop, and I couldn't find any buffering option. Also, ghc -help shows no buffering options (there is no man page for ghc).
Do you know how to set buffering explicitely?
I'll attach the message:
<snip>
The fix for now is for you to explicitly turn off buffering:
import IO
main = do hSetBuffering stdin LineBuffering hSetBuffering stdout NoBuffering hSetBuffering stderr NoBuffering ...
(warning: untested code)
Ok, I must apologize: I saw the message, but I really didn't understand it. Thanks (again). Guus. -- A.J. Bonnema, Leiden The Netherlands, user #328198 (Linux Counter http://counter.li.org)