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
The methods to add and remove a GUID from short term memory don't account for duplicate GUIDs arriving in quick succession. When a rm_from_stm method deletes a given GUID, any subsequent rm_from_stm calls trying to delete same GUID will raise an exception, since the key no longer exists.
The text was updated successfully, but these errors were encountered:
The methods to add and remove a GUID from short term memory don't account for duplicate GUIDs arriving in quick succession. When a rm_from_stm method deletes a given GUID, any subsequent rm_from_stm calls trying to delete same GUID will raise an exception, since the key no longer exists.
The text was updated successfully, but these errors were encountered: