diff options
author | Lukacs Berki <lberki@google.com> | 2017-01-11 09:08:54 +0000 |
---|---|---|
committer | Marcel Hlopko <hlopko@google.com> | 2017-01-11 10:02:29 +0000 |
commit | 10dd6380591704ffd63dcb43c86af66ba678931a (patch) | |
tree | ed8ceadaf7a047ea7995b6f56ec5e01efdbb7467 /src/main/cpp/util/file_platform.h | |
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/file_platform.h')
0 files changed, 0 insertions, 0 deletions