Remove disable leader rotation option (#4299)

automerge
This commit is contained in:
Michael Vines
2019-05-15 15:16:45 -07:00
committed by Grimes
parent 4576250342
commit 915956b94b
8 changed files with 16 additions and 64 deletions

View File

@@ -26,7 +26,6 @@ missing() {
[[ -n $deployMethod ]] || missing deployMethod
[[ -n $entrypointIp ]] || missing entrypointIp
[[ -n $numNodes ]] || missing numNodes
[[ -n $leaderRotation ]] || missing leaderRotation
[[ -n $failOnValidatorBootupFailure ]] || missing failOnValidatorBootupFailure
ledgerVerify=true