# RAFT ID that this server will use to join RAFT groups.
idx: 3

# Port to run server on. (default 8080)
port: 8084

grpc_port: 9084

# Directory to store posting lists.
p: p3

# Directory to store raft write-ahead logs.
w: w3

# Port used by worker for internal communication.
workerport: 12347

groups: 0,1

nomutations: true

group_conf: groups.conf

peer: localhost:12345

