23 Jan
2005
23 Jan
'05
11:31 p.m.
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. Cheers, Wolfgang