diff options
author | 2017-01-11 09:08:54 +0000 | |
---|---|---|
committer | 2017-01-11 10:02:29 +0000 | |
commit | 10dd6380591704ffd63dcb43c86af66ba678931a (patch) | |
tree | ed8ceadaf7a047ea7995b6f56ec5e01efdbb7467 /src/main/cpp/util | |
parent | 5163ec2c0db8fbdc7f367bb4aca5b6d7ae6d80b0 (diff) |
Kill the server when the server.pid.txt file cannot be found and start a new one.
This makes Bazel not be stuck when a gRPC-only server is used in a client, then an AF_UNIX-only one, then a gRPC-only one again.
--
PiperOrigin-RevId: 144176526
MOS_MIGRATED_REVID=144176526
Diffstat (limited to 'src/main/cpp/util')
0 files changed, 0 insertions, 0 deletions