diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-03-16T09·52+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-03-16T09·52+0100 |
| commit | 0ec7f47b00659cf043eb7fbe72385a08f7e9f8e2 (patch) | |
| tree | 820dd15bf3c739616b177e7d8279997622e74822 /src/libutil/util.cc | |
| parent | 43f158bb0885c2eb9180ef7ab24034b1b9353e8b (diff) | |
Remove "killing process <pid>" messages
They convey no useful information.
Diffstat (limited to 'src/libutil/util.cc')
| -rw-r--r-- | src/libutil/util.cc | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/libutil/util.cc b/src/libutil/util.cc index d2d32782d027..99a91c8cc64a 100644 --- a/src/libutil/util.cc +++ b/src/libutil/util.cc @@ -678,12 +678,11 @@ Pid::operator pid_t() } -int Pid::kill(bool quiet) +int Pid::kill() { assert(pid != -1); - if (!quiet) - printError(format("killing process %1%") % pid); + debug(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 |