diff options
Diffstat (limited to 'src/main/cpp/blaze_util_darwin.cc')
-rw-r--r-- | src/main/cpp/blaze_util_darwin.cc | 6 |
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; } |