[pgpool-committers: 452] pgpool: merged branch/watchdog with master.

[at.mitani]

merged branch/watchdog with master.

Branch
------
master

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

Modified Files
--------------
main.c                  |    8 ++----
pgpool.conf             |    2 +-
watchdog/wd_child.c     |    8 +++---
watchdog/wd_ext.h       |    2 +
watchdog/wd_lifecheck.c |   49 +++++++++++++++++++++++++++++++++++-----------
watchdog/wd_list.c      |   19 ++++++++++++++++++
watchdog/wd_packet.c    |    5 ++++
7 files changed, 71 insertions(+), 22 deletions(-)