-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
On 13-Jun-07, at 8:50 PM, |/|/ Bendick wrote:
Marc: What is the distinction between my code and the code you commented on a few threads earlier as needing flush-output to require the buffers get drained? Does stdout drain whenever a process exits but ports for other opened files may need an explicit flush?
Yes that is correct. My view is that it is the runtime system that opened stdout so the closing of stdout is the responsibility of the runtime system. The only ports that are automatically closed are stdout and stderr (and stdin).
Marc