[pgpool-committers: 8009] 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
------
master

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

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