Bruce Momjian <pgman(at)candle(dot)pha(dot)pa(dot)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