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
Is your feature request related to a problem? Please describe.
When implementing a WorkplanTransition I just called PlaceToken, but forgot to call TakeToken for the sender. This creates a duplicate which causes issues if the workplan is saved and restored.
I know why the API is that way, but unless you do this daily it's quite easy to forget.
Describe the solution you'd like
Either a dedicated method to move the token from Input to correct output or a check within PlaceToken if an input still holds the token.
Describe alternatives you've considered
Additional context
The text was updated successfully, but these errors were encountered:
Is your feature request related to a problem? Please describe.
When implementing a
WorkplanTransition
I just calledPlaceToken
, but forgot to call TakeToken for the sender. This creates a duplicate which causes issues if the workplan is saved and restored.I know why the API is that way, but unless you do this daily it's quite easy to forget.
Describe the solution you'd like
Either a dedicated method to move the token from Input to correct output or a check within
PlaceToken
if an input still holds the token.Describe alternatives you've considered
Additional context
The text was updated successfully, but these errors were encountered: