tree d5b6523e8093254eb84debffbec9fedc80746c81
parent 207e55b0bd508ca777a02dcc1d6c65fe3ec6ea07
author Jordan Halterman <jordan@opennetworking.org> 1522978286 -0700
committer Charles Chan <charles@opennetworking.org> 1523057161 +0000

Make various Raft server/client/storage options configurable

Change-Id: Ied90d25032593dd2a738761ec3bf45102a4c189f