diff options
author | 2017-07-14 12:25:11 +0200 | |
---|---|---|
committer | 2017-07-14 12:55:28 +0200 | |
commit | 57ff834702f75760e2d611590e44c13f7b3c580d (patch) | |
tree | d9dadcccd13fd42581599eafa34d9722017a07e0 /src/main/java/com/google/devtools/build/lib/runtime/commands/query.txt | |
parent | 678c852b33974ca573a382f3a4392c007fcefe62 (diff) |
experimental UI: keep console updated till the end
For commands that do not send a BuildFinishedEvent, we normally use the
NoBuildEvent to determine the end of the build and hence the moment
where the UI should not any more interfere with the output. For some
requests, like fetch, however, we should continue to report progress
till the very end (as there is no output to interfere with). Do so,
and also be sure that the experimental UI also reports downloads if
not explicitly in a loading or analysis phase.
While there, also group digits in the number of downloaded bytes, to
increase readability.
Change-Id: I31efeee5bdb1d29b2ecf842acb3e383e297707f8
PiperOrigin-RevId: 161935456
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/commands/query.txt')
0 files changed, 0 insertions, 0 deletions