patrick/raft-fable
1
0
Fork 0
Code Issues Pull Requests Packages Releases Activity

Resolve one TODO

Browse Source
This commit is contained in:
Smaug123
2022-11-12 20:57:39 +00:00
parent 7870f1160d
commit 99d6e507d8
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
Raft/Server.fs
View File

@@ -454,8 +454,8 @@ type Server<'a>
| None ->
// The leader knows what we've committed, so it won't try and give us anything further than
// the element immediately past our persisted log.
// TODO - why can't this be -1?
assert (desiredLogInsertionPosition = 1<LogIndex> + persistentState.CurrentLogIndex)
if desiredLogInsertionPosition <> 1<LogIndex> + persistentState.CurrentLogIndex then
failwith "Logic error: the leader has tried to update an entry from our future."
// The leader's message is after our log. Append.
persistentState.AppendToLog toInsert toInsertTerm