diff options
author | Klaus Aehlig <aehlig@google.com> | 2018-07-25 09:00:57 -0700 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-07-25 09:02:30 -0700 |
commit | 80b4b95175ffda4d4ec11366e5a606c010509792 (patch) | |
tree | 318991ca45e6e42d66b732bb40346fe426df197a /src/main/java/com/google/devtools/build/lib/analysis/test/CoverageReportActionFactory.java | |
parent | 16dde0de06a3a4157a13e7e7264afeb6a50b2dde (diff) |
Experimental UI: only write on flush for limited output
When there is a hard limit on the output of the experimental UI, change
the behavior to only write to the underlying stream on flush. In this
way, we can avoid semantically incomplete writes at the moment we
run out of characters.
Change-Id: I024c776ae2139d76d380bb89d13b8fe61d6cfe51
PiperOrigin-RevId: 206000817
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/analysis/test/CoverageReportActionFactory.java')
0 files changed, 0 insertions, 0 deletions