From: Eric Wong <e@80x24.org>
Date: Tue, 28 Mar 2023 02:59:02 +0000 (+0000)
Subject: cindex: always break out of event loop on $DO_QUIT
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1ad09884c5b075808506b1b3815ef400a9860604;p=thirdparty%2Fpublic-inbox.git

cindex: always break out of event loop on $DO_QUIT

Shard workers may not die soon enough (or get stuck), just let
the parent die earlier since it doesn't need to commit anything.
---

diff --git a/lib/PublicInbox/CodeSearchIdx.pm b/lib/PublicInbox/CodeSearchIdx.pm
index 85e44cdc3..6907570d6 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);
 }