Peer.timeout: make message non-optional (#16)

This commit is contained in:
folex 2021-11-24 09:52:21 +03:00 committed by GitHub
parent 0e87271350
commit 1193236fe7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -130,9 +130,9 @@ service Peer("peer"):
-- Get Unix timestamp in seconds
timestamp_sec() -> u64
-- Blocks for the given number of milliseconds. Meant to be used inside `par` blocks.
-- If `message` is passed, it's returned after duration has passed
timeout(duration_ms: u64, message: ?string) -> ?string
-- Blocks for the given number of milliseconds. Meant to be used within `par` blocks.
-- message is returned after duration has passed
timeout(duration_ms: u64, message: string) -> string
service Kademlia("kad"):
-- Instructs node to return the locally-known nodes