----- Original Message ----- From: "Tom Lane" <[EMAIL PROTECTED]> > ... > I trust when you say "kill", you really mean "send SIGINT" ... > ...
I'm sending a SIGTERM. Would SIGINT be more appropriate? Thank you, -- Paulo Scardine ---------------------------(end of broadcast)--------------------------- TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]
