Allow pg_ctl kill to send SIGKILL.
authorAndres Freund <andres@anarazel.de>
Sun, 1 Oct 2017 22:17:10 +0000 (15:17 -0700)
committerAndres Freund <andres@anarazel.de>
Sun, 1 Oct 2017 22:24:58 +0000 (15:24 -0700)
commit2e83db3ad2da9b073af9ae12916f0b71cf698e1e
tree8269b3ba939836c9cfee92793157446995ac1e6b
parent5a632a213d43c30940de3328286172c52730a01d
Allow pg_ctl kill to send SIGKILL.

Previously that was disallowed out of an abundance of
caution. Providing KILL support however is helpful to make the
013_crash_restart.pl test portable, and there's no actual issue with
allowing it.  SIGABRT, which has similar consequences except it also
dumps core, was already allowed.

Author: Andres Freund
Discussion: https://postgr.es/m/45d42d41-6145-9be1-7261-84acf6d9e344@2ndQuadrant.com
src/bin/pg_ctl/pg_ctl.c