Pavel Kirienko 731d9f4574 Changed RaftCore API; giving up Leader status if the leader cannot write its log

2015-05-10 23:44:25 +03:00

..

cluster_manager.hpp

Fixed error codes

2015-05-10 20:05:40 +03:00

log.hpp

Fixed naming of trace events

2015-05-10 19:33:16 +03:00

persistent_state.hpp

Fixed error codes

2015-05-10 20:05:40 +03:00

raft_core.hpp

Changed RaftCore API; giving up Leader status if the leader cannot write its log

2015-05-10 23:44:25 +03:00

server.hpp

Changed RaftCore API; giving up Leader status if the leader cannot write its log

2015-05-10 23:44:25 +03:00

types.hpp

Refactored node ID allocation server; no changes to the logic

2015-05-09 16:03:22 +03:00