diff options
| author |  Lukacs Berki <lberki@google.com> | 2016-05-02 11:47:40 +0000 |
|---|---|---|
| committer |  Damien Martin-Guillerez <dmarting@google.com> | 2016-05-02 11:52:39 +0000 |
| commit | 43e620bfcd20ea24f079b0aec5eacf2b0f6c8a4e (patch) | |
| tree | 17512579b288f58cf1f3f101e5c44d225697c97f /src/main/cpp/blaze_util_mingw.cc | |
| parent | 29c4a950228a11201667c947f9843644e6a43145 (diff) | |
Linux-specific: check if the stray server process we are about to kill -9 is actually a server process.
This should be implemented for other OSes, too, but OS X seems to lack a procfs and it's not clear how to discover anything about a process based on its PID and of course, Windows is a wholly different cup of tea.
More work for #930.
--
MOS_MIGRATED_REVID=121262673
Diffstat (limited to 'src/main/cpp/blaze_util_mingw.cc')
| -rw-r--r-- | src/main/cpp/blaze_util_mingw.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main/cpp/blaze_util_mingw.cc b/src/main/cpp/blaze_util_mingw.cc index 27d13fc4a9..ce0b68457b 100644 --- a/src/main/cpp/blaze_util_mingw.cc +++ b/src/main/cpp/blaze_util_mingw.cc @@ -628,7 +628,8 @@ bool CompareAbsolutePaths(const string& a, const string& b) { return a_real == b_real; } -void KillServerProcess(int pid, const string& output_base) { +void KillServerProcess( + int pid, const string& output_base, const string& install_base) { // Not implemented yet. TerminateProcess should work. } |