On 24 January 2005 04:31, Wolfgang Thaller wrote:

...

It seems they should always be flushed. certainly if a program fails via 'fail' in IO or 'error' as these are common ways for programs to report an error and losing output would definitly be counter intuitive and make it quite tricky to debug. especially when you can't flush stdout before calling error. I would think it should flush all buffers on any type of exit.

I agree (after thinking about it again). Done.

They were supposed to be flushed always; it was a braino on my part. Thanks for fixing it. Cheers, Simon