]> Sergey Matveev's repositories - public-inbox.git/commitdiff
projects / public-inbox.git / commitdiff
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: f64fdbc)
git: cat-file --batch are their own pgrp
authorEric Wong <e@80x24.org>
Thu, 14 Oct 2021 13:16:06 +0000 (13:16 +0000)
committerEric Wong <e@80x24.org>
Fri, 15 Oct 2021 02:23:25 +0000 (02:23 +0000)
We want these long-lived processes to die naturally when their
parent dies.  Hopefully this improves graceful shutdown for
-extindex because I'm interrupting a lot of reindexing...


No differences found
My patches to https://public-inbox.org/public-inbox.git