Pavel Kirienko f48c16d1ef Dynamic node ID servers - configurable priority

2015-07-05 09:37:39 +03:00

..

cluster_manager.hpp

Dynamic node ID servers - configurable priority

2015-07-05 09:37:39 +03:00

log.hpp

Minor fixes in Raft server

2015-05-27 12:55:49 +03:00

persistent_state.hpp

Minor fixes in Raft server

2015-05-27 12:55:49 +03:00

raft_core.hpp

Dynamic node ID servers - configurable priority

2015-07-05 09:37:39 +03:00

server.hpp

All unit tests compile, but crash. This is the most horrifying commit I've ever made.

2015-07-01 14:55:24 +03:00

types.hpp

Refactored node ID allocation server; no changes to the logic

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