Crate lease_management

Source

Modules§

flush_trigger

Structs§

LeaseBaton
MessageSendTracker
You probably don’t want to create one of these directly, but instead use |SequenceServer| to create one for you and then get a reference to it from |SequenceServer.get_message_tracker|.
SequenceClient
Client components should use |SequenceClient| to automatically manage interaction with server components. Clients should use |process_message(s)| to tell |SequenceClient| when they’ve processed a message. |SequenceClient| will then automatically discard batons at the appropriate times.
SequenceServer
Server components should use class to guarantee clients see all messages sent by the server prior to system suspension. After creating a |SequenceServer| server components should call |manage| to start this management.

Enums§

BatonError
MessageTrackerError