diff options
author | Michajlo Matijkiw <michajlo@google.com> | 2016-08-12 18:05:29 +0000 |
---|---|---|
committer | Philipp Wollermann <philwo@google.com> | 2016-08-16 15:20:22 +0000 |
commit | 641c1327f08de4122a360a327e02101aa00f7394 (patch) | |
tree | f67788c28caf7fccba2b0f8705db6f23a06ff805 /src/main/java/com/google/devtools/build/lib/rules/objc | |
parent | c780d63ca2ded5bc7e62e7305339c3edcae06bf7 (diff) |
Be more lenient with slow-to-react servers.
Increase the ping timeout on connect from five to ten seconds. This gives
servers which may be suffering from gc pressure or other ailments extra time to
respond.
On the other end, wait for orphaned servers to really die before proceeding.
This prevents race conditions around the delivery of SIGKILL and the starting
of the new server.
This may make us fail slower when the server is having hard times, however it
should give us better determinism, and these conditions should be rare.
--
MOS_MIGRATED_REVID=130118918
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/rules/objc')
0 files changed, 0 insertions, 0 deletions