]> Sergey Matveev's repositories - public-inbox.git/commit
lei: get rid of client {pid} field
authorEric Wong <e@80x24.org>
Sun, 10 Jan 2021 12:15:15 +0000 (12:15 +0000)
committerEric Wong <e@80x24.org>
Tue, 12 Jan 2021 03:51:42 +0000 (03:51 +0000)
commit2e755e0b5e3bc25b06055dce53009bfba4c0504b
treeca9b02aa13016ae789396e3a61d5efccc613f634
parenta1e00c6bca403ffea74a5e169fa0d2f715c69051
lei: get rid of client {pid} field

Using kill(2) is too dangerous since extremely long
queries may mean the original PID of the aborted lei(1)
client process to be recycled by a new process.  It would
be bad if the lei_xsearch worker process issued a kill
on the wrong process.

So just rely on sending the exit message via socket.
lib/PublicInbox/LEI.pm
lib/PublicInbox/LeiQuery.pm
script/lei