pgpool2.git / summary / log / commit / refs

commit    5674fef99e4f4139c4ceea01dd5ee3f55c5bcb44
Author:   Tatsuo Ishii <ishii@postgresql.org>
Date:     Thu Jul 12 01:50:56 2012 +0000

    Merge branch 'master' of ssh://git.postgresql.org/pgpool2


 configure               | 59 +++++++++++++++++++++++++------------------------
 pool_config.c           | 48 ++++++++++++++++++++++++++++++++++++++++
 pool_config.l           | 48 ++++++++++++++++++++++++++++++++++++++++
 recovery.c              | 13 +++++++----
 watchdog/watchdog.c     |  7 ++++--
 watchdog/wd_child.c     | 17 +++++++++++++-
 watchdog/wd_ext.h       |  1 +
 watchdog/wd_if.c        |  8 ++++---
 watchdog/wd_init.c      | 13 +++++++----
 watchdog/wd_lifecheck.c | 32 ++++++++++++++++++++++++---
 watchdog/wd_packet.c    | 41 ++++++++++++++++++++++++++--------
 watchdog/wd_ping.c      |  7 +++---
 12 files changed, 236 insertions(+), 58 deletions(-)


[parent: 8bd0baeb9c0c]