Pavel Kirienko 82c24967e7 Minor fixes in Raft server

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

..

cluster_manager.hpp

Raft active state extension removed

2015-05-26 20:04:59 +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

Fixed Raft definitions

2015-05-26 20:22:21 +03:00

server.hpp

Minor fixes in Raft server

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

types.hpp

Refactored node ID allocation server; no changes to the logic

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