[pgpool-committers: 382] pgpool: Add watchdog feature.

[Tatsuo Ishii]

Add watchdog feature.

Branches
--------
feature/watchdog
master

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

Modified Files
--------------
Makefile.am                    |    4 +-
Makefile.in                    |    6 +-
configure                      |    3 +-
main.c                         |    5 +-
pgpool.conf.sample             |   35 +
pool_config.c                  | 1646 +++++++++++++++++++++++++---------------
pool_config.h                  |   19 +
pool_config.l                  |  225 ++++++
watchdog/Makefile.am           |   15 +
watchdog/Makefile.in           |  492 ++++++++++++
watchdog/test/stab.c           |  266 +++++++
watchdog/test/test.c           |   85 ++
watchdog/test/wd_child_t.c     |   87 +++
watchdog/test/wd_lifecheck_t.c |   87 +++
watchdog/test/wd_packet_t.c    |   87 +++
watchdog/test/wd_ping_t.c      |   20 +
watchdog/watchdog.c            |  125 +++
watchdog/watchdog.h            |  112 +++
watchdog/wd_child.c            |  199 +++++
watchdog/wd_ext.h              |   67 ++
watchdog/wd_if.c               |  144 ++++
watchdog/wd_init.c             |   79 ++
watchdog/wd_lifecheck.c        |  216 ++++++
watchdog/wd_list.c             |  169 ++++
watchdog/wd_packet.c           |  630 +++++++++++++++
watchdog/wd_ping.c             |  228 ++++++
26 files changed, 4423 insertions(+), 628 deletions(-)