diff --git a/AUTHORS b/AUTHORS index 73ab10637..4207f57f8 100644 --- a/AUTHORS +++ b/AUTHORS @@ -242,6 +242,7 @@ pv2b Ralph Breier Reto Zeder Ricardo Bartels +Richard Mortimer Rinck H. Sonnenberg Robert Lindgren Robert Scheck diff --git a/lib/base/process.cpp b/lib/base/process.cpp index a076dcf32..23b735352 100644 --- a/lib/base/process.cpp +++ b/lib/base/process.cpp @@ -1087,7 +1087,9 @@ bool Process::DoEvents() Log(LogWarning, "Process") << "Couldn't kill the process group " << m_PID << " (" << PrettyPrintArguments(m_Arguments) << "): [errno " << error << "] " << strerror(error); - could_not_kill = true; + if (error != ESRCH) { + could_not_kill = true; + } } #endif /* _WIN32 */