diff options
author | Nicolas Lacasse <nlacasse@google.com> | 2019-03-29 14:47:16 -0700 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2019-03-29 14:48:16 -0700 |
commit | e8fef3d873e4564f0979303d134478b11def8349 (patch) | |
tree | e7ec31b5d08dbddce5866f289afe081858af4086 /tools/workspace_status.sh | |
parent | d11ef20a936536aec811aec4e156366c5aeaac47 (diff) |
Treat fsync errors during save as SaveRejection errors.
PiperOrigin-RevId: 241055485
Change-Id: I70259e9fef59bdf9733b35a2cd3319359449dd45
Diffstat (limited to 'tools/workspace_status.sh')
0 files changed, 0 insertions, 0 deletions