Skip to content

Conversation

@robinschmid
Copy link
Member

This feels like it should be the right thing to do but maybe better to think about this together.

I feel like unhandled exceptions in tasks can always happen and the WrappedTask or the task itself should change its state to ERROR in this case and maybe even log the error

@SteffenHeu SteffenHeu merged commit ebf4975 into mzmine:master Jan 22, 2025
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants