PR ports/63759 was committed (3 years ago). Try to use normal TERM
signal for graceful termination [1].
- Increase /bin/ps cache size from 16KB to 120KB. This should fix
process counter (ex prCount.1) on the server which has large number
of processes [2].
PR: ports/103811 [1], ports/110498 [2]
Reported by: Yuri Arabadji <yuri@deepunix.net> [1],
Mike Andrews <mandrews@bit0.com> [2]