about summary refs log tree commit homepage
diff options
context:
space:
mode:
authorEric Wong <e@80x24.org>2023-03-28 02:59:02 +0000
committerEric Wong <e@80x24.org>2023-03-29 04:36:52 +0000
commit1ad09884c5b075808506b1b3815ef400a9860604 (patch)
treeb7059e72bc341d066dd211a920cf15c7a13e92a9
parent9650088fb8ab70369c8221c8b623a7ea3b69e9a0 (diff)
downloadpublic-inbox-1ad09884c5b075808506b1b3815ef400a9860604.tar.gz
Shard workers may not die soon enough (or get stuck), just let
the parent die earlier since it doesn't need to commit anything.
-rw-r--r--lib/PublicInbox/CodeSearchIdx.pm1
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/PublicInbox/CodeSearchIdx.pm b/lib/PublicInbox/CodeSearchIdx.pm
index 85e44cdc..6907570d 100644
--- a/lib/PublicInbox/CodeSearchIdx.pm
+++ b/lib/PublicInbox/CodeSearchIdx.pm
@@ -689,6 +689,7 @@ sub do_prune ($) {
 }
 
 sub shards_active { # post_loop_do
+        return if $DO_QUIT;
         scalar(grep { $_->{-cidx_quit} } @IDX_SHARDS);
 }