1
0
Fork 0
mirror of https://github.com/NixOS/nix synced 2025-06-29 10:31:15 +02:00

Use PR_SET_PDEATHSIG to ensure child cleanup

This commit is contained in:
Eelco Dolstra 2014-08-21 15:31:43 +02:00
parent 163fdf292e
commit 809ca33806
3 changed files with 13 additions and 3 deletions

View file

@ -267,7 +267,8 @@ void killUser(uid_t uid);
/* Fork a process that runs the given function, and return the child
pid to the caller. */
pid_t startProcess(std::function<void()> fun, const string & errorPrefix = "error: ");
pid_t startProcess(std::function<void()> fun, bool dieWithParent = true,
const string & errorPrefix = "error: ");
/* Run a program and return its stdout in a string (i.e., like the