cli & replayer: Prevent Linux worker process orphaning with race-free PR_SET_PDEATHSIG - #305
Closed
louzt wants to merge 7 commits into
Closed
cli & replayer: Prevent Linux worker process orphaning with race-free PR_SET_PDEATHSIG#305louzt wants to merge 7 commits into
louzt wants to merge 7 commits into