Ecosystem/serai
Ecosystem/serai
1
0
Fork 0
mirror of https://github.com/serai-dex/serai.git synced 2025-04-06 14:27:28 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions1

Correct time-adjustment code on round skip

Browse source
This commit is contained in:
Luke Parker 2022-11-12 05:12:20 -05:00
parent ecde185bbf
commit ca3a29f616
No known key found for this signature in database
GPG key ID: F9F1386DB1E119B6
1 changed files with 2 additions and 1 deletions

3
substrate/tendermint/machine/src/lib.rs
View file

@ -213,13 +213,14 @@ impl<N: Network + 'static> TendermintMachine<N> {
let end = self.timeout(Step::Precommit);
self.end_time.insert(Round(r), end);
self.start_time = end;
self.round.0 += 1;
}
debug_assert_eq!(self.round, round);
// 11-13
// Clear timeouts
self.timeouts = HashMap::new();
self.round = round;
self.end_time.insert(round, self.timeout(Step::Precommit));
self.step = Step::Propose;
self.round_propose()