about summary refs log tree commit diff
path: root/src/libutil/util.hh
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2007-03-19T12·48+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-03-19T12·48+0000
commit8ab229ddf2383ec6455836f342539b8c89356f76 (patch)
treebbb5e55e69cd7a665691e7de7755bb9050d0f468 /src/libutil/util.hh
parentb2b6cf3fc83f0e1625214ae31b0b088a266234bf (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.hh2
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);
 };