diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/server/ServerControl.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/server/ServerControl.h b/lib/server/ServerControl.h index 50e1c816..ce5620c2 100644 --- a/lib/server/ServerControl.h +++ b/lib/server/ServerControl.h @@ -140,6 +140,11 @@ inline bool KillServerInternal(int pid) { if(pid == 0 || pid == -1) return false; bool killed = (::kill(pid, SIGTERM) == 0); + if (!killed) + { + BOX_ERROR("Failed to kill process " << pid << ": " << + strerror(errno)); + } TEST_THAT(killed); return killed; } |