diff options
| author | Tobias Möst <tbsmoest@gmail.com> | 2020-02-14T06·47+0100 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-04-10T08·45+0200 |
| commit | a25214a2bc38b3d8ed00f1f0f9244f23b63a52f6 (patch) | |
| tree | e3822c96eabc351c4d3e0389dbd828e2d91e8346 /third_party/nix/doc/manual | |
| parent | 6d01e9a623774fbf7ec537ac4278924d5b1f21f8 (diff) | |
Fix PR_SET_PDEATHSIG results in Broken pipe (#2395)
The ssh client is lazily started by the first worker thread, that requires a ssh connection. To avoid the ssh client to be killed, when the worker process is stopped, do not set PR_SET_PDEATHSIG. (cherry picked from commit 3e347220c82d1537723f49aa03a93a6f9d294417)
Diffstat (limited to 'third_party/nix/doc/manual')
0 files changed, 0 insertions, 0 deletions