Bruce Momjian <pgman@candle.pha.pa.us> writes:
> killproc should send a kill -15 to the process, wait a few seconds for
> it to exit. If it does not, try kill -1, and if that doesn't kill it,
> then kill -9.
Tell it to the Linux people ... this is their boot-script code we're
talking about.
regards, tom lane