[pgpool-committers: 8008] pgpool: Fix incorrect PGPOOL SHOW option.

[Bo Peng]

Fix incorrect PGPOOL SHOW option.

Since 4.2 other_pgpool is removed, "PGPOOL SHOW other_pgpool" command should be changed to "PGPOOL SHOW watchdog".

Branch
------
V4_2_STABLE

Details
-------
https://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=4336785291c194f6b07b3c5a04ad5109e2192131

Modified Files
--------------
src/config/pool_config_variables.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)