Searched refs:output_stream (Results 1 – 2 of 2) sorted by relevance
103 def make_writer(output_stream): argument106 return output_stream.write(text + '\n')645 def dump_html(flags, output_stream, warning_messages, warning_links, argument648 writer = make_writer(output_stream)
3818 with open(uncompressed_ramdisk, 'wb') as output_stream:3820 stdout=output_stream.fileno())