Skip to content
This repository has been archived by the owner on Jan 6, 2023. It is now read-only.

Annotate log entries with message parent and peer parent #454

Merged
merged 4 commits into from
Dec 26, 2015

Conversation

MichaelDrogalis
Copy link
Contributor

Patch for #453.

@lbradstreet - I started this by annotating the message IDs as discussed. I haven't supplied a fix yet, but this is a good starting point for reference.

@lbradstreet
Copy link
Member

entry-src -> entry-parent?

@MichaelDrogalis
Copy link
Contributor Author

Much better name. 👍

@lbradstreet lbradstreet changed the title Patch for fixing race condition found via Jepsen Annotate log entries with message parent and peer parent Dec 26, 2015
@lbradstreet
Copy link
Member

Merging in with the entry annotations. Will fix the bug in another PR

lbradstreet added a commit that referenced this pull request Dec 26, 2015
Annotate log entries with message parent and peer parent
@lbradstreet lbradstreet merged commit c618999 into develop Dec 26, 2015
@lbradstreet lbradstreet deleted the peer-race-condition branch January 14, 2016 16:57
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants