parameters: (html_path, trace_path, gzipped_output=False)
return_statement: return saved_paths
docstring: Copies trace data from an existing HTML file into new trace file(s).
  
    If |html_path| doesn't contain any trace data blocks, this function throws an
    exception. If |html_path| contains more than one trace data block, the first
    block will be extracted into |trace_path| and the rest will be extracted
    into separate files |trace_path|.1, |trace_path|.2, etc.
  
    The contents of each trace data block is decoded and, if |gzipped_output| is
    false, inflated before it's stored in a trace file.
  
    This function returns a list of paths of the saved trace files ([|trace_path|,
    |trace_path|.1, |trace_path|.2, ...]).
docstring_summary: Copies trace data from an existing HTML file into new trace file(s).
docstring_tokens: Copies trace data from an existing HTML file into new trace file ( s ) .
function: def CopyTraceDataFromHTMLFilePath(html_path, trace_path, gzipped_output=False):
    """Copies trace data from an existing HTML file into new trace file(s).
  
    If |html_path| doesn't contain any trace data blocks, this function throws an
    exception. If |html_path| contains more than one trace data block, the first
    block will be extracted into |trace_path| and the rest will be extracted
    into separate files |trace_path|.1, |trace_path|.2, etc.
  
    The contents of each trace data block is decoded and, if |gzipped_output| is
    false, inflated before it's stored in a trace file.
  
    This function returns a list of paths of the saved trace files ([|trace_path|,
    |trace_path|.1, |trace_path|.2, ...]).
    """
    trace_data_list = _ExtractTraceDataFromHTMLFile(html_path,
                                                    unzip_data=not gzipped_output)
    saved_paths = []
    for i, trace_data in enumerate(trace_data_list):
      saved_path = trace_path if i == 0 else '%s.%d' % (trace_path, i)
      saved_paths.append(saved_path)
      with open(saved_path, 'wb' if gzipped_output else 'w') as trace_file:
        trace_file.write(trace_data.read())
    return saved_paths
function_tokens: def CopyTraceDataFromHTMLFilePath ( html_path , trace_path , gzipped_output = False ) : trace_data_list = _ExtractTraceDataFromHTMLFile ( html_path , unzip_data = not gzipped_output ) saved_paths = [ ] for i , trace_data in enumerate ( trace_data_list ) : saved_path = trace_path if i == 0 else '%s.%d' % ( trace_path , i ) saved_paths . append ( saved_path ) with open ( saved_path , 'wb' if gzipped_output else 'w' ) as trace_file : trace_file . write ( trace_data . read ( ) ) return saved_paths