deprecated (from v2.1.0)
last updated:

wen_restart_coordinator

Specifies the pubkey of the leader used in wen restart. May get stuck if the leader used is different from others."

timeline overview

introduced

v2.1.0

deprecated

v2.1.0

removed

n/a

reactivated

n/a

note: this is a hidden cli argument.

raw details (from release v2.2.3):

{
  "name": "wen_restart_coordinator",
  "properties": {
    "long": "wen-restart-coordinator",
    "hidden": "hidden_unless_forced()",
    "value_name": "PUBKEY",
    "takes_value": "true",
    "required": "false",
    "requires": "wen_restart",
    "help": "\n                    \"Specifies the pubkey of the leader used in wen restart. \\\n                    May get stuck if the leader used is different from others.\",\n                "
  },
  "isDeprecated": true
}