diff options
author | Kristina Chodorow <kchodorow@google.com> | 2016-02-04 16:20:07 +0000 |
---|---|---|
committer | David Chen <dzc@google.com> | 2016-02-04 18:15:53 +0000 |
commit | 8eccb7f834a262b81e92140d9c3b968dc90d2c47 (patch) | |
tree | 6e9f6c387777bdb730be18177f046b4fe21471c0 /src/main/java/com/google/devtools/build/lib/ideinfo | |
parent | e950da41d8b502fd6c90b1995b878d586dda4510 (diff) |
Print truncation-specific error message when a server gives a too-short response
Fixes #834.
--
MOS_MIGRATED_REVID=113851710
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/ideinfo')
0 files changed, 0 insertions, 0 deletions