(&'static self, func: F)
| 386 | }) |
| 387 | .unwrap(); |
| 388 | let control = ThreadControl { halt, handle }; |
| 389 | managed_workers.push(ManagedWorker { |
| 390 | member_index, |
| 391 | control, |
| 392 | }); |
| 393 | } |
| 394 | |
| 395 | managed_workers.len() |
| 396 | } |
| 397 | // The size decreased |
| 398 | cmp::Ordering::Less => { |
| 399 | // Pull the workers we intend to halt out of the thread manager. |