auto_leader_switch_interval|V5.0.1|OceanBase Database|docs|OceanBase Documentations