diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-03-19T12·48+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-03-19T12·48+0000 |
commit | 8ab229ddf2383ec6455836f342539b8c89356f76 (patch) | |
tree | bbb5e55e69cd7a665691e7de7755bb9050d0f468 /src/libutil/util.hh | |
parent | b2b6cf3fc83f0e1625214ae31b0b088a266234bf (diff) |
* Terminate build hooks and substitutes with a TERM signal, not a KILL
signal. This is necessary because those processes may have joined the BDB environment, so they have to be given a chance to clean up. (NIX-85)
Diffstat (limited to 'src/libutil/util.hh')
-rw-r--r-- | src/libutil/util.hh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/libutil/util.hh b/src/libutil/util.hh index 3c4629957a7b..4d284ccfdc68 100644 --- a/src/libutil/util.hh +++ b/src/libutil/util.hh @@ -213,6 +213,7 @@ class Pid { pid_t pid; bool separatePG; + int killSignal; public: Pid(); ~Pid(); @@ -221,6 +222,7 @@ public: void kill(); int wait(bool block); void setSeparatePG(bool separatePG); + void setKillSignal(int signal); }; |