tree 6ec0d415ab83cb0946f8d1b8c16ef66f35820010
parent fa3ec198287c5888beae9623d0a94897d8e693ad
author Jordan Halterman <jordan@opennetworking.org> 1522978286 -0700
committer Charles Chan <charles@opennetworking.org> 1523057164 +0000

Make various Raft server/client/storage options configurable

Change-Id: Ied90d25032593dd2a738761ec3bf45102a4c189f
(cherry picked from commit ff7c20cda3d80bac7c6f7bf4db2639e8255b3d95)