[Issue 10344] Exiting _Dmain should flush all FILE*s and return nonzero on failure

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=10344



--- Comment #11 from Andrei Alexandrescu <andrei at erdani.com> 2013-06-17 12:28:21 PDT ---
(In reply to comment #10)
> I don't think we can decide either way.  At the time this flush occurs, the
> program has made a concrete decision of success or failure.  Overriding that
> decision is not something the runtime should be doing.

The program has made a decision that assumes writes to stdout, if any, have
succeeded.

> Consider the case where the filesystem driver fails to finish writing the file
> after the program exits.  How do we handle that?

That is not under our control.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------