diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-11-04 22:49:49 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-04 23:35:32 +0100 |
commit | af73beeba1fc9effab60b11aea1d7ed8c24e7367 (patch) | |
tree | 4e3d3bfee11624d06683521cd4930f0403018efb /graph.js | |
parent | 32793c09ffd07e8ca54fc5c3d992454b39add506 (diff) | |
download | guix-patches-af73beeba1fc9effab60b11aea1d7ed8c24e7367.tar guix-patches-af73beeba1fc9effab60b11aea1d7ed8c24e7367.tar.gz |
daemon: Unregister build hook from the worker's children upon build failure.
Fixes <https://bugs.gnu.org/38062>.
This is a followup to ada9a19a2dca74feafcf24df1152abd685d4142f.
* nix/libstore/build.cc (DerivationGoal::killChild): Add conditional
call to 'worker.childTerminated' for 'hook->pid'.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions