Home | History | Annotate | Download | only in tools

Lines Matching refs:local_file

57   local_file = os.path.join(TRACE_TO_TEXT_PATH, file_name)
59 if os.path.exists(local_file):
60 if not check_hash(local_file, sha_value):
61 os.remove(local_file)
63 return local_file
66 urllib.urlretrieve(url, local_file)
67 if not check_hash(local_file, sha_value):
68 os.remove(local_file)
70 os.chmod(local_file, 0o755)
71 return local_file