diff options
author | 2016-02-23 15:30:01 +0000 | |
---|---|---|
committer | 2016-02-23 22:17:03 +0000 | |
commit | a08a6e22d67d94e4d4d25fbf6129879d49e1646c (patch) | |
tree | 7255aba8ab890d8382bb6fc7653e2993e921c879 /src/main/java/com/google/devtools/build/lib/runtime/GCStatsRecorder.java | |
parent | c5d7a7fd23ec05acbe832840445bee119e721ccc (diff) |
Fix a race where an interrupt sent from the client near the start of an invocation could be lost. Note that the client sends an empty request to the Blaze server to check its existence. Previously, we were treating this as a full command invocation in the server and resetting the interrupt bit. Now we detect this and do not alter the interrupt bit.
--
MOS_MIGRATED_REVID=115337972
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/runtime/GCStatsRecorder.java')
0 files changed, 0 insertions, 0 deletions