Libraries anvil io InputStream readLines

list readLines()
Reads all available lines from stream
list readLines(int maxLines)
Reads upto given amount of lines from stream.
Parameters maxLinex -  Maximum number of lines to return
Returns Lines read as list of strings with linefeeds stripped.
Throws IOError -  If an I/O error occurs.