Перейти к содержанию

PICO_RAFT_LEADER_ID

Скалярная функция pico_raft_leader_id позволяет узнать идентификатор лидера raft-группы (значение поля raft_id из таблицы _pico_peer_address). Разрешено использовать только в проекциях.

Синтаксис

PICO_RAFT_LEADER_ID ( )

Примеры использования

Вызов функции не требует привилегий и таблиц, поэтому запрос:

SELECT pico_raft_leader_id();

значение поля raft_id инстанса, который является на данный момент raft-лидером.