diff options
author | 2017-07-11 18:21:36 +0200 | |
---|---|---|
committer | 2017-07-12 08:48:38 +0200 | |
commit | fd37b512d3a899da531cb6ba2cc70543246940fe (patch) | |
tree | a0fdb66c7c9d0cde4b1e72e56d068fe9f4bf2575 /src/test/java/com/google/devtools/build/lib | |
parent | 937350211dcd55a4714ec32ebbf33fffcc42cdf2 (diff) |
Ensure that shutdown commands end the server process before completion
This change ensures that the server process is terminated before the
client process terminates, when evaluating a command that shuts down
the server.
When completing such a command, the server communicates to the client
that the server will terminate itself by setting a termination_expected
bit in the final RunResponse message. The client then waits up to 60s
for the server process to actually terminate. If it does not, then the
client SIGKILLs the server.
Also makes the gRPC server stop accepting new commands before the
shutdown command completes.
Drive-by fix to comments on Search{Un,Null}aryOption.
RELNOTES: Commands that shut down the server (like "shutdown") now ensure that the server process has terminated before the client process terminates.
PiperOrigin-RevId: 161537480
Diffstat (limited to 'src/test/java/com/google/devtools/build/lib')
0 files changed, 0 insertions, 0 deletions