Re: Function to kill backend

"Magnus Hagander" <mha@sollentuna.net> writes:
>> If we are going to allow session kill then of course we need 
>> PID for that.

> I still say we need this.

Well, that seems to be the consensus, so I won't stand in the way.

If you like the cancel-by-XID idea then I'd suggest providing two
functions: pg_cancel_query(XID) to send SIGINT and pg_kill_session(PID)
to send SIGTERM.  I'm not sure if the other two combinations (SIGINT by
PID and SIGTERM by XID) are worth providing.
        regards, tom lane