From 084f461af8d93d2ad965ff499fc41d9cddbd5fb8 Mon Sep 17 00:00:00 2001 From: Ryo Onodera <ryoqun@gmail.com> Date: Wed, 20 Dec 2023 16:07:15 +0900 Subject: [PATCH] save --- unified-scheduler-pool/src/lib.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/unified-scheduler-pool/src/lib.rs b/unified-scheduler-pool/src/lib.rs index 00fddd25f00827..c21ce5682d842f 100644 --- a/unified-scheduler-pool/src/lib.rs +++ b/unified-scheduler-pool/src/lib.rs @@ -186,9 +186,9 @@ where let mut thread_managers: Vec<WatchedThreadManager<S, TH, SEA>> = vec![]; 'outer: loop { - let /*mut*/ schedulers = scheduler_pool.scheduler_inners.lock().unwrap(); + let mut schedulers = scheduler_pool.scheduler_inners.lock().unwrap(); let schedulers_len_pre_retain = schedulers.len(); - //schedulers.retain_mut(|scheduler| scheduler.retire_if_stale()); + schedulers.retain_mut(|scheduler| scheduler.retire_if_stale()); let schedulers_len_post_retain = schedulers.len(); drop(schedulers);