RE: print stdout and flush

[Cuero Bugot <cbugot@...>]

> Well, it is easy enough to change the buffering (see
> http://www.lua.org/manual/5.1/manual.html#pdf-file:setvbuf)
> io.stdout:setvbuf("no")

I missed this one thanks. Well io.stdout:setvbuf("line") would be even more appropriate in that case.

Thx

 -C