diff options
author | Eric Wong <e@80x24.org> | 2023-03-28 02:59:02 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2023-03-29 04:36:52 +0000 |
commit | 1ad09884c5b075808506b1b3815ef400a9860604 (patch) | |
tree | b7059e72bc341d066dd211a920cf15c7a13e92a9 | |
parent | 9650088fb8ab70369c8221c8b623a7ea3b69e9a0 (diff) | |
download | public-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.pm | 1 |
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); } |