public writeLine(readonly value as String) as Void throws IOException:
Writes one line to the socket.