diff options
| author |  robinnabel <rnabel@ucdavis.edu> | 2018-03-22 07:18:14 -0700 |
|---|---|---|
| committer |  Copybara-Service <copybara-piper@google.com> | 2018-03-22 07:19:28 -0700 |
| commit | 7fc3410f21be3326325fc297ec86f0c79a091d01 (patch) | |
| tree | 45af4913ac377288aef1d9b71135aed31cfe92d1 /CONTRIBUTORS | |
| parent | d01e8ad9acb2f30e91a653d3af00bd0302c44ad5 (diff) | |
Local Disk Cache: Only write to disk if target hash doesn't already exist.
Under Windows, the default permissions used when writing to the local disk cache prevent the files from being overwritten.
This CR adds a check: if the target file already exists, return early. This is a performance improvement and will fix the error described above as existing files will no longer need to be overwritten. Similar features have been implemented on the remote gRPC cache implementations, see bazel issue #4789.
Closes #4886.
PiperOrigin-RevId: 190060233
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 854e7d7733..768dbb5910 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -103,3 +103,4 @@ Yue Gan <yueg@google.com> Yun Peng <pcloudy@google.com> Dmitry Babkin <dbabkin@google.com> Klaus Aehlig <aehlig@google.com> +Robin Nabel <rnabel@ucdavis.edu> |