wroclaw-git-backups/nix
1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-06-27 00:11:17 +02:00
Code Activity

Get rid of "killing <pid>" message for unused build hooks

Browse source
This commit is contained in:
Eelco Dolstra 2014-08-04 17:27:45 +02:00
parent bb45092f72
commit 4d73e2e893
3 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/libutil/util.cc
View file

@ -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