Doc: unify watchdog leader terms.
authorTatsuo Ishii <ishii@postgresql.org>
Wed, 23 Jul 2025 06:51:56 +0000 (15:51 +0900)
committerTatsuo Ishii <ishii@postgresql.org>
Wed, 23 Jul 2025 06:56:20 +0000 (15:56 +0900)
commit2513a0289f4e6a7578908fa9b50591ed8cdb6a2c
tree08de45de53b7084220c29c9383956bec7c4f0c14
parent3ef581f5c82a42c9713b811accc67575572a94c5
Doc: unify watchdog leader terms.

Previously terms "leader", "active" and "coordinator" were used to
mean the leader watchdog node.  This brought enough confusion. So this
commit unifies them to "leader"."

Backpatch-trhough: v4.2
doc.ja/src/sgml/watchdog.sgml
doc/src/sgml/watchdog.sgml