Cancellation during game loading
Open
enhancement
good first issue
help wanted
- Dominant language
- F#
- Stars
- 30
- Forks
- 9
- PR merge metrics
- No merged PRs in 30d
Description
Currently, our loading doesn't support cancellation: any tasks left running after the user presses the cancel button will still be performed and the disposed synchronization context will then throw an error.
We should probably downgrade the exceptions to `logger.warn` and also pass the cancellation token to the game initialization tasks.
See `TODO[#103]` in the game code.
Contributor guide
Assessment
This issue has not been assessed yet.