Roll back commit a34c4febbbdfba6c045598101ca9a491cfde7dd9 in favor of not verifying the identity of the process killed on interrupt.

When the server dies, the client follows soon after, so this is kind of OK.

--
MOS_MIGRATED_REVID=133110872

1 files changed, 5 insertions, 1 deletions

diff --git a/src/main/cpp/blaze_util_darwin.cc b/src/main/cpp/blaze_util_darwin.cc
index 1f0acbd2cf..93645b12eb 100644
--- a/src/main/cpp/blaze_util_darwin.cc
+++ b/src/main/cpp/blaze_util_darwin.cc
@@ -186,10 +186,14 @@ string GetDefaultHostJavabase() {
 void WriteSystemSpecificProcessIdentifier(const string& server_dir) {
 }
 
-bool KillServerProcess(
+bool VerifyServerProcess(
     int pid, const string& output_base, const string& install_base) {
   // TODO(lberki): This might accidentally kill an unrelated process if the
   // server died and the PID got reused.
+  return true;
+}
+
+bool KillServerProcess(int pid) {
   killpg(pid, SIGKILL);
   return true;
 }