Re: [5.1.4/newbie] How to check end script?

[Roberto Ierusalimschy <roberto@...>]

> Assuming these are file descriptors created with io.open or io.popen then they
> have C-library FILE* objects backing them.  These can hold writes in memory
> until they need to be flushed, are flushed explicitly, or are closed with
> fclose().  No amount of kernel-based cleanup will help with that :-)

The C library takes care of that:

man exit:
> exit - cause normal process termination
>        [...]
>        All open stdio(3) streams are flushed and closed.
>        [...]

-- Roberto