Libraries anvil io File readLine

string readLine()
Reads a single line from file.
Returns line in string, or null if an error occured or end of stream encountered (and no bytes could not be read before it).
Throws IOError -  If an I/O error occurs