diff options
| author |  janakr <janakr@google.com> | 2017-05-17 07:10:41 +0200 |
|---|---|---|
| committer |  Dmitry Lomov <dslomov@google.com> | 2017-05-17 15:21:13 +0200 |
| commit | faa9dcff069e95c083dfea02d2403a0f14839fc4 (patch) | |
| tree | 70be445e79ce5366967dbc309994a569073ed78a /WORKSPACE | |
| parent | 69e855c7b0f0f7899a69a882cba0abd304233c97 (diff) | |
Add new reasons for server restart: PID_FILE_BUT_NO_SERVER, SERVER_VANISHED and SERVER_UNRESPONSIVE, since it looks like these are happening with upsetting frequency in our new grpc world.
PiperOrigin-RevId: 156271743
Diffstat (limited to 'WORKSPACE')
0 files changed, 0 insertions, 0 deletions