From 9e15e281e415c3fdb22953fcb138a2595742d7f6 Mon Sep 17 00:00:00 2001 From: Justin Bedo Date: Wed, 17 Oct 2018 16:44:00 +1100 Subject: rename sigterm patch --- patches/sigterm.patch | 38 ++++++++++++++++++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 patches/sigterm.patch (limited to 'patches') diff --git a/patches/sigterm.patch b/patches/sigterm.patch new file mode 100644 index 0000000..ee98737 --- /dev/null +++ b/patches/sigterm.patch @@ -0,0 +1,38 @@ +diff --git a/src/libstore/build.cc b/src/libstore/build.cc +index d75ca0be..b3de84e7 100644 +--- a/src/libstore/build.cc ++++ b/src/libstore/build.cc +@@ -1036,6 +1036,7 @@ void DerivationGoal::killChild() + it won't be killed, and we'll potentially lock up in + pid.wait(). So also send a conventional kill to the + child. */ ++ ::kill(-pid, SIGTERM); /* ignore the result */ + ::kill(-pid, SIGKILL); /* ignore the result */ + buildUser->kill(); + pid.wait(); +diff --git a/src/libutil/util.cc b/src/libutil/util.cc +index 6bc64ae7..7ff4de24 100644 +--- a/src/libutil/util.cc ++++ b/src/libutil/util.cc +@@ -779,7 +779,7 @@ void Pid::operator =(pid_t pid) + { + if (this->pid != -1 && this->pid != pid) kill(); + this->pid = pid; +- killSignal = SIGKILL; // reset signal to default ++ killSignal = SIGTERM; // reset signal to default + } + + +diff --git a/src/libutil/util.hh b/src/libutil/util.hh +index fc25d277..2e0d98f8 100644 +--- a/src/libutil/util.hh ++++ b/src/libutil/util.hh +@@ -218,7 +218,7 @@ class Pid + { + pid_t pid = -1; + bool separatePG = false; +- int killSignal = SIGKILL; ++ int killSignal = SIGTERM; + public: + Pid(); + Pid(pid_t pid); -- cgit v1.2.3