Log in
Skip to main content
Skip to sidebar
Dashboards
Projects
Issues
eazyBI
Give feedback to Atlassian
Help
Keyboard Shortcuts
About Jira
Jira Credits
Log In
Acknowledged notifications
Core Server
SERVER-44339
Write TLA+ spec for current reconfig protocol
Schedule Issue
Undo Transition
Closed
Export
null
XML
Word
Printable
JSON
Details
Type:
Task
Resolution:
Done
Priority:
Major - P3
Fix Version/s:
None
Affects Version/s:
None
Component/s:
Replication
Labels:
None
Sprint:
Repl 2019-11-18
Attachments
Attachments
Options
Sort By Name
Sort By Date
Ascending
Descending
Thumbnails
List
Download All
old_hb_protocol_election_safety.html
11 kB
Nov 14 2019 08:37:47 PM UTC
old_hb_protocol_never_rollback_committed.html
20 kB
Nov 14 2019 08:37:47 PM UTC
Activity
People
Assignee:
William Schultz (Inactive)
Reporter:
Siyuan Zhou
Participants:
Siyuan Zhou
,
William Schultz
Votes
:
0
Vote for this issue
Watchers:
4
Start watching this issue
Dates
Created:
Oct 31 2019 05:37:22 PM UTC
Updated:
Nov 14 2019 08:40:44 PM UTC
Resolved:
Nov 14 2019 08:09:43 PM UTC