Searched refs:output_stream (Results 1 – 1 of 1) sorted by relevance
101 def make_writer(output_stream): argument104 return output_stream.write(text + '\n')629 def dump_html(flags, output_stream, warning_messages, warning_links, argument632 writer = make_writer(output_stream)