[pgpool-committers: 407] pgpool: modified pool_config for watchdog, add ps_display in watchdog.

[at.mitani]

modified pool_config for watchdog, add ps_display in watchdog.

Branch
------
master

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

Modified Files
--------------
pool_config.c        |    2 +-
pool_config.l        |    6 +++---
watchdog/watchdog.c  |   34 +++++++++++++++++++++-------------
watchdog/wd_child.c  |   21 ++++++++++++++-------
watchdog/wd_ext.h    |    7 +++++--
watchdog/wd_packet.c |    8 ++++++++
6 files changed, 52 insertions(+), 26 deletions(-)