Searched defs:TRIMMED_FILE_HEADER (Results 1 - 1 of 1) sorted by relevance

/external/autotest/client/bin/result_tools/
H A Dshrink_file_throttler.py36 TRIMMED_FILE_HEADER = '!!! This file is trimmed !!!\n' variable
70 # TRIMMED_FILE_HEADER, no need to add the header again.
71 header = old_file.read(len(TRIMMED_FILE_HEADER))
72 if header != TRIMMED_FILE_HEADER:
73 new_file.write(TRIMMED_FILE_HEADER)

Completed in 130 milliseconds