]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: b04257f) | patch
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)
commitf64fdbc7cc19a34f471abaeada9195597bf7a282
treeddfdf0a3a99ba5d66a96bbea3a2a59fff12c29b2tree
parentb04257f82cb4890a022a4d18ff15bcde939ba2aecommit | diff
git: cat-file --batch are their own pgrp

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...
lib/PublicInbox/Git.pm diff | blob | history
My patches to https://public-inbox.org/public-inbox.git