Re: io.lines() behaviour on \0 characters

[Luiz Henrique de Figueiredo <lhf@...>]

> I'm trying to use io.lines() to read lines from a file which contains \0
> characters.

Then the file is not a text file and has no notion of lines. So io.lines
does not necessarily work.