]> Sergey Matveev's repositories - public-inbox.git/commit
projects / public-inbox.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 77ce8b2) | patch
lei: kill old PIDs when dropping
authorEric Wong <e@80x24.org>
Fri, 30 Apr 2021 09:24:33 +0000 (09:24 +0000)
committerEric Wong <e@80x24.org>
Fri, 30 Apr 2021 19:59:44 +0000 (19:59 +0000)
commit8bb96e2da15ce323024be8de8b89bc386ee33339
tree26415e3e91485aa5f57a61b56be1a7496a9b2580tree
parent77ce8b2a15495f7144e806e0747cb13e2ab7fe27commit | diff
lei: kill old PIDs when dropping

This ensures hitting Ctrl-C on a long-running "lei convert" or
similar will stop the WQ worker, even after we've closed
the WQ socketpair in the daemon.
lib/PublicInbox/LEI.pm diff | blob | history
My patches to https://public-inbox.org/public-inbox.git