clarify counting of FediChordMessage parts

This commit is contained in:
Trolli Schmittlauch 2020-05-19 19:50:36 +02:00
parent c31baa3635
commit beffab99a0
2 changed files with 3 additions and 3 deletions

View file

@ -10,8 +10,8 @@ Request ::= SEQUENCE {
action Action, action Action,
requestID INTEGER, requestID INTEGER,
sender NodeState, sender NodeState,
parts INTEGER (0..150), -- number of message parts parts INTEGER (1..150), -- number of message parts
part INTEGER (0..150), -- part number of this message, starts at 1 part INTEGER (1..150), -- part number of this message, starts at 1
actionPayload CHOICE { actionPayload CHOICE {
queryIDRequestPayload QueryIDRequestPayload, queryIDRequestPayload QueryIDRequestPayload,
joinRequestPayload JoinRequestPayload, joinRequestPayload JoinRequestPayload,

View file

@ -23,7 +23,7 @@ data FediChordMessage = Request
, sender :: NodeState , sender :: NodeState
, parts :: Integer , parts :: Integer
, part :: Integer , part :: Integer
-- ^ part starts at 0 -- ^ part starts at 1
, action :: Action , action :: Action
, payload :: Maybe ActionPayload , payload :: Maybe ActionPayload
} }