diff options
Diffstat (limited to 'src/libutil/util.cc')
| -rw-r--r-- | src/libutil/util.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/libutil/util.cc b/src/libutil/util.cc index 44087d58e5..ed283fb8c8 100644 --- a/src/libutil/util.cc +++ b/src/libutil/util.cc @@ -740,11 +740,12 @@ Pid::operator pid_t() } -void Pid::kill() +void Pid::kill(bool quiet) { if (pid == -1 || pid == 0) return; - printMsg(lvlError, format("killing process %1%") % pid); + if (!quiet) + printMsg(lvlError, format("killing process %1%") % pid); /* Send the requested signal to the child. If it has its own process group, send the signal to every process in the child |