| commit | f7840e9e3eb9d1a157eaae772ea6841f1b83f1ba | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Tue Dec 27 08:58:38 2022 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Mon Jan 08 18:40:21 2024 -0700 |
| tree | 34b3df072309db8db579020d879a0918e8199bc1 | |
| parent | 9b595a264168cdd950c19dafe4663ca25d22234b [diff] |
Change how cooked index waits for threads This changes the cooked index code to wait for threads in its public-facing API. That is, the waits are done in cooked_index now, and never in the cooked_index_shard. Centralizing this decision makes it easier to wait for other events here as well.