Home | History | Annotate | Download | only in tools

Lines Matching refs:local_file

49   local_file = os.path.join(TRACE_TO_TEXT_PATH, file_name)
51 if os.path.exists(local_file):
52 if not check_hash(local_file, sha_value):
53 os.remove(local_file)
55 return local_file
58 urllib.urlretrieve(url, local_file)
59 if not check_hash(local_file, sha_value):
60 os.remove(local_file)
62 os.chmod(local_file, 0o755)
63 return local_file