Searched refs:web_snapshot_output_file_name (Results 1 – 1 of 1) sorted by relevance
789 const char* web_snapshot_output_file_name = "web.snap"; in ExecuteString() local791 web_snapshot_output_file_name = options.web_snapshot_output; in ExecuteString()808 WriteChars(web_snapshot_output_file_name, snapshot_data.buffer, in ExecuteString()