report_pool_drain_decision

Function report_pool_drain_decision 

Source
pub fn report_pool_drain_decision(label: String, was_last: bool)
Expand description

Phase F.6 — sync API: tell the launcher the result of the post-close drain-pool-if-last decision. was_last == true when the closing window was the last user-visible window (Stage 1 of the wrr two-stage close cascade just kicked off in client.rs::on_before_close); false when other windows remain and the warm pool stays warm.

Step 2 terminal signal for the launcher’s window-cleanup-cascade saga. Both branches close the SagaStarted bracket successfully — the saga’s job is to narrate the decision, not enforce a particular outcome.

Same no-op-if-disconnected semantics as the other report_* helpers.