diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-08-04 17:27:45 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2015-05-11 17:16:37 +0200 |
commit | 75f746f018e34868b8057bed87c90d2cbe2c0b6c (patch) | |
tree | ffd46a99d5c1b0449a3ab7419d7be39221a6c05d /nix/libutil/util.cc | |
parent | 42c6246f674ca2d5ea166d1ae676b7087ea1b0d8 (diff) | |
download | guix-75f746f018e34868b8057bed87c90d2cbe2c0b6c.tar.gz |
Get rid of "killing <pid>" message for unused build hooks
Diffstat (limited to 'nix/libutil/util.cc')
-rw-r--r-- | nix/libutil/util.cc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/nix/libutil/util.cc b/nix/libutil/util.cc index b79212018b..22f49f76d5 100644 --- a/nix/libutil/util.cc +++ b/nix/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 |