diff options
author | Chloe Calvarin <ccalvarin@google.com> | 2016-12-13 19:48:34 +0000 |
---|---|---|
committer | John Cater <jcater@google.com> | 2016-12-13 21:05:37 +0000 |
commit | eaa3be7fe4305ec617bdc4874c5bca926639d04f (patch) | |
tree | d7d71e86f8fffd7f745c34b264a4486dfd205e43 /src/main/java/com/google/devtools/build/lib/query2 | |
parent | 8a32c3758a28b9c8624422a364a74987315143da (diff) |
Record correct exit code for uncaught exceptions in async threads.
Async threads are divorced from the server's error-reporting mechanism. In the event
of a server shutdown originating in an async-thread, write the exit code to a file that
can be read by the client.
--
PiperOrigin-RevId: 141920284
MOS_MIGRATED_REVID=141920284
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/query2')
0 files changed, 0 insertions, 0 deletions