diff options
-rw-r--r-- | src/libstore/build.cc | 2 | ||||
-rw-r--r-- | src/libutil/util.cc | 5 | ||||
-rw-r--r-- | src/libutil/util.hh | 2 |
3 files changed, 5 insertions, 4 deletions
diff --git a/src/libstore/build.cc b/src/libstore/build.cc index d73504a35cd1..e3d96d931ff9 100644 --- a/src/libstore/build.cc +++ b/src/libstore/build.cc @@ -623,7 +623,7 @@ HookInstance::HookInstance() HookInstance::~HookInstance() { try { - pid.kill(); + pid.kill(true); } catch (...) { ignoreException(); } diff --git a/src/libutil/util.cc b/src/libutil/util.cc index 44087d58e513..ed283fb8c8f6 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 diff --git a/src/libutil/util.hh b/src/libutil/util.hh index ade52c354076..5f2d95339f30 100644 --- a/src/libutil/util.hh +++ b/src/libutil/util.hh @@ -253,7 +253,7 @@ public: ~Pid(); void operator =(pid_t pid); operator pid_t(); - void kill(); + void kill(bool quiet = false); int wait(bool block); void setSeparatePG(bool separatePG); void setKillSignal(int signal); |