From 32476a2775b5b7321324e241ee536fc9f3efce30 Mon Sep 17 00:00:00 2001 From: Ryo Onodera Date: Thu, 30 Nov 2023 23:05:34 +0900 Subject: [PATCH] save --- scheduler-pool/src/lib.rs | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/scheduler-pool/src/lib.rs b/scheduler-pool/src/lib.rs index bac45f6a4efb04..1def3fd3838854 100644 --- a/scheduler-pool/src/lib.rs +++ b/scheduler-pool/src/lib.rs @@ -795,17 +795,17 @@ where } log_scheduler!("T:ended"); - if end_session { + let result_with_timings = if end_session { (Ok(()), ExecuteTimings::default()) } else { drop_sender.send(SessionedMessage::EndSession).unwrap(); - let result_with_timings = drop_receiver2.recv().unwrap(); - trace!( - "solScheduler thread is ended at: {:?}", - std::thread::current() - ); - result_with_timings - } + drop_receiver2.recv().unwrap(); + }; + trace!( + "solScheduler thread is ended at: {:?}", + std::thread::current() + ); + result_with_timings } };