[pgpool-committers: 8601] pgpool: Enhance in stopping pgpool main process.

[Tatsuo Ishii]

Enhance in stopping pgpool main process.

If "pgpool stop" couldn't terminate the main process within certain
period (currently 5 seconds), send the signal again. The reason why
pgpool does not accept the stopping signal is not clear at the moment,
I expect this reduces errors of buildfarm timeout. See if this works.

Branch
------
V4_0_STABLE

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

Modified Files
--------------
src/main/main.c | 36 ++++++++++++++++++++++++------------
1 file changed, 24 insertions(+), 12 deletions(-)