Re: io.close inconsistency

[Miles Bader <miles.bader@...>]

Flemming Madsen <lua@themadsens.dk> writes:
> While I agree that files should be closed explicitly, it is often the
> responsability of the operating system to close open files at end time. This
> means that files are closed even when faced with buggy runtime systems or
> program crashes. (At least this is true for Unix like systems and Win32)

The OS usually can't take care of an unwritten buffer in a buffered
stream though (since such things are almost always the responsibility of
user-level libraries)...

-Miles

-- 
Fast, small, soon; pick any 2.