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-af73beeba1fc9effab60b11aea1d7ed8c24e7367.tar.gz guix-af73beeba1fc9effab60b11aea1d7ed8c24e7367.zip | |
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