minor tools cleanup

This commit is contained in:
Eric Froemling 2019-12-13 17:44:08 -08:00
parent e99ce105c5
commit 70138a9a23
2 changed files with 6 additions and 2 deletions

View File

@ -62,7 +62,7 @@ def formatcode(projroot: Path, full: bool) -> None:
if result != 0:
raise Exception(f'Formatting failed for {filename}')
duration = time.time() - start_time
print(f'Formatted {filename} in {duration:.2f} seconds')
print(f'Formatted {filename} in {duration:.2f} seconds.')
sys.stdout.flush()
return {'f': filename, 't': duration}
@ -175,7 +175,7 @@ def formatscripts(projroot: Path, full: bool) -> None:
if result != 0:
raise Exception(f'Formatting failed for {filename}')
duration = time.time() - start_time
print(f'Formatted {filename} in {duration:.2f} seconds')
print(f'Formatted {filename} in {duration:.2f} seconds.')
sys.stdout.flush()
# NOTE: using fewer workers than we have logical procs for now;

View File

@ -258,6 +258,10 @@ def _write_cache_files(fnames1: List[str], fnames2: List[str],
for result in results:
mapping[result[0]] = BASE_URL + result[1]
# FIXME - we could save significant bandwidth by assembling the
# starter cache on the server instead of locally and then uploading it.
# (we have to sync all its comprising files to the server anyway)
# Once we've written our first set, create
# a starter-cache file from everything we wrote.
# This consists of some subset of the cache dir we just filled out.