Bruce Momjian <[EMAIL PROTECTED]> 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

---------------------------(end of broadcast)---------------------------
TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]

Reply via email to