save

ryoqun · Nov 20, 2023 · 6da26ad · 6da26ad
1 parent 3f96fc8
commit 6da26ad
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/scheduler-pool/src/lib.rs b/scheduler-pool/src/lib.rs
@@ -969,7 +969,8 @@ where
                         }
                     }
 
-                    if will_end_session { // or should also consider will_end_thread?
+                    if will_end_session {
+                        // or should also consider will_end_thread?
                         log_scheduler!("ended   ");
                         (state_machine, log_interval_counter) = <_>::default();
                         result_sender