diff options
| author |  Lukacs Berki <lberki@google.com> | 2016-09-08 11:45:51 +0000 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2016-09-08 13:11:49 +0000 |
| commit | 0bb79c6d1f1f2d1c167f2865134632fd9dff881c (patch) | |
| tree | 55cef2364bc81205841d1ade03674f477bb2032a /src/main/cpp | |
| parent | bd47c8816b9f969bf6990451e9579713ee4beddd (diff) | |
Do not print the "server probably died abruptly" warning message.
It is not really actionable and doesn't warn the user against real breakages, so there isn't much point.
--
MOS_MIGRATED_REVID=132541684
Diffstat (limited to 'src/main/cpp')
| -rw-r--r-- | src/main/cpp/blaze_util_linux.cc | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/main/cpp/blaze_util_linux.cc b/src/main/cpp/blaze_util_linux.cc index 0947657cc7..b94b79fae8 100644 --- a/src/main/cpp/blaze_util_linux.cc +++ b/src/main/cpp/blaze_util_linux.cc @@ -269,9 +269,8 @@ bool KillServerProcess( int pid, const string& output_base, const string& install_base) { char start_time[256]; if (!GetStartTime(pid, start_time, sizeof(start_time))) { - // Cannot read PID file from /proc . Process died in the meantime? - sigprintf("Found stale PID file (pid=%d). " - "Server probably died abruptly, continuing...\n", pid); + // Cannot read PID file from /proc . Process died meantime, all is good. No + // stale server is present. return false; } |