[pgpool-committers: 7950] pgpool: Add missing changes in the previous commit.

[Tatsuo Ishii]

Add missing changes in the previous commit.

Branch
------
master

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

Modified Files
--------------
doc/src/sgml/online-recovery.sgml               | 23 +++++++++++++++++++++++
src/pcp_con/recovery.c                          | 16 +++++++++++++---
src/sql/pgpool-recovery/Makefile                |  4 +++-
src/sql/pgpool-recovery/pgpool-recovery.c       | 18 +++++++++++++++++-
src/sql/pgpool-recovery/pgpool-recovery.sql.in  | 11 +++++++++++
src/sql/pgpool-recovery/pgpool_recovery.control |  4 ++--
6 files changed, 69 insertions(+), 7 deletions(-)