You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Oct 24, 2023. It is now read-only.
Userland code will tend to forget to do error handling for concurrent modifcation exceptions.
We should think about how to make that code as simple and minimal as possible for API user code to encourage doing it.
How? To be discussed. Could be documentation only, but on update actions one could provide helpers that analyzes the change (is it just technically colliding or does the specific change collide?) and makes it easy to "try again".
The text was updated successfully, but these errors were encountered:
Userland code will tend to forget to do error handling for concurrent modifcation exceptions.
We should think about how to make that code as simple and minimal as possible for API user code to encourage doing it.
How? To be discussed. Could be documentation only, but on update actions one could provide helpers that analyzes the change (is it just technically colliding or does the specific change collide?) and makes it easy to "try again".
The text was updated successfully, but these errors were encountered: