Skip to content

Don't predate the Flow.close when we get an error from the system#49

Merged
dinosaure merged 1 commit intomainfrom
close-predation
Apr 11, 2026
Merged

Don't predate the Flow.close when we get an error from the system#49
dinosaure merged 1 commit intomainfrom
close-predation

Conversation

@dinosaure
Copy link
Copy Markdown
Contributor

If we do that, the next Flow.close (handled by Miou.Ownership) will finish with an exception. Globally, we are sure, by the Ownership mechanism, that our resources are closed properly.

If we do that, the next Flow.close (handled by Miou.Ownership) will
finish with an exception. Globally, we are sure, by the Ownership
mechanism, that our ressources are closed properly.
@dinosaure dinosaure merged commit 675ee8e into main Apr 11, 2026
9 checks passed
@dinosaure dinosaure deleted the close-predation branch April 11, 2026 09:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant