[pgpool-committers: 985] pgpool: Rename watchdog options

[Yugo Nagata]

Rename watchdog options

Branch
------
master

Details
-------
http://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=2f9454eef49cf43d47cf341ad763309d56527cc4

Modified Files
--------------
pgpool.conf.sample              |  108 ++++++---
pgpool.conf.sample-master-slave |  107 ++++++---
pgpool.conf.sample-replication  |  107 ++++++---
pgpool.conf.sample-stream       |  107 ++++++---
pool_config.c                   |   62 +++---
pool_config.h                   |   27 ++-
pool_config.l                   |   62 +++---
pool_process_reporting.c        |   38 ++--
watchdog/Makefile.am            |    2 +-
watchdog/Makefile.in            |    6 +-
watchdog/watchdog.c             |   78 +++---
watchdog/watchdog.h             |   12 +-
watchdog/wd_ext.h               |   14 +-
watchdog/wd_heartbeat.c         |  533 +++++++++++++++++++++++++++++++++++++++
watchdog/wd_init.c              |    4 +-
watchdog/wd_lifecheck.c         |   48 ++--
watchdog/wd_list.c              |    4 +-
watchdog/wd_udp.c               |  533 ---------------------------------------
18 files changed, 1000 insertions(+), 852 deletions(-)