]> git.ipfire.org Git - thirdparty/public-inbox.git/commitdiff
cindex: always break out of event loop on $DO_QUIT
authorEric Wong <e@80x24.org>
Tue, 28 Mar 2023 02:59:02 +0000 (02:59 +0000)
committerEric Wong <e@80x24.org>
Wed, 29 Mar 2023 04:36:52 +0000 (04:36 +0000)
Shard workers may not die soon enough (or get stuck), just let
the parent die earlier since it doesn't need to commit anything.

lib/PublicInbox/CodeSearchIdx.pm

index 85e44cdc3f88a176f909ddda042334afd7ec3133..6907570d63bf2fae9d3bb83e4ee66415d478dc0d 100644 (file)
@@ -689,6 +689,7 @@ sub do_prune ($) {
 }
 
 sub shards_active { # post_loop_do
+       return if $DO_QUIT;
        scalar(grep { $_->{-cidx_quit} } @IDX_SHARDS);
 }