diff options
author | Ludovic Courtès <ludo@gnu.org> | 2020-06-12 00:03:07 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2020-06-12 00:04:42 +0200 |
commit | 8a02e45d93c2a825363da282791ac16f15b415e4 (patch) | |
tree | 474e5bb17ba0f51b6f6e235fe4d0cdd0ffa41ff4 /gnu/build/linux-modules.scm | |
parent | b6b95685d0b478698d648f13afd927b1e1700d99 (diff) |
shepherd: 'read-pid-file/container' terminates the whole process group.
This mirrors a change made in the Shepherd 0.8.0. Previously, upon
startup failure, we could have left processes behind.
* gnu/build/shepherd.scm (read-pid-file/container): Kill (- PID) instead
of PID.
Diffstat (limited to 'gnu/build/linux-modules.scm')
0 files changed, 0 insertions, 0 deletions