Skip to content

Commit

Permalink
save
Browse files Browse the repository at this point in the history
  • Loading branch information
ryoqun committed Nov 30, 2023
1 parent b006e9e commit 32476a2
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions scheduler-pool/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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
}
};

Expand Down

0 comments on commit 32476a2

Please sign in to comment.