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/libstore/build.cc | |
parent | 43f158bb0885c2eb9180ef7ab24034b1b9353e8b (diff) |
Remove "killing process <pid>" messages
They convey no useful information.
Diffstat (limited to 'src/libstore/build.cc')
-rw-r--r-- | src/libstore/build.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/libstore/build.cc b/src/libstore/build.cc index 2b0f8e592d55..fc840df81a56 100644 --- a/src/libstore/build.cc +++ b/src/libstore/build.cc @@ -642,7 +642,7 @@ HookInstance::~HookInstance() { try { toHook.writeSide = -1; - if (pid != -1) pid.kill(true); + if (pid != -1) pid.kill(); } catch (...) { ignoreException(); } @@ -1437,7 +1437,7 @@ void DerivationGoal::buildDone() to have terminated. In fact, the builder could also have simply have closed its end of the pipe, so just to be sure, kill it. */ - int status = hook ? hook->pid.kill(true) : pid.kill(true); + int status = hook ? hook->pid.kill() : pid.kill(); debug(format("builder process for ‘%1%’ finished") % drvPath); |