Added raft_server_properties.c