tree a0fdb66c7c9d0cde4b1e72e56d068fe9f4bf2575
parent 937350211dcd55a4714ec32ebbf33fffcc42cdf2
author mschaller <mschaller@google.com> 1499790096 +0200
committer László Csomor <laszlocsomor@google.com> 1499842118 +0200

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