[pgpool-committers: 8080] pgpool: Enhance SIGHLD handler of Pgpool-II main process.

[Tatsuo Ishii]

Enhance SIGHLD handler of Pgpool-II main process.

When Pgpool-II child is killed by SIGKILL signal, the SIGHLD handler
just emitted LOG level message as other signals.  But SIGKILL is an
important event, for example killed by OOM killer. So emit a WARNING
level message instead.

Per suggestion from Michail Alexakis.
Discussion: https://www.pgpool.net/pipermail/pgpool-general/2021-October/007808.html

Branch
------
V4_1_STABLE

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

Modified Files
--------------
src/main/pgpool_main.c | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)