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
Branch
------
V4_2_STABLE
Details
-------
https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=a7291b431c30ac02b27b5be0c4a1e4cc7eaddfb7
Modified Files
--------------
doc.ja/src/sgml/watchdog.sgml | 18 +++++++++---------
doc/src/sgml/watchdog.sgml | 10 +++++-----
2 files changed, 14 insertions(+), 14 deletions(-)