Tom Lane wrote:
So what you'd basically need is a separate signal to trigger that sort of exit, which would be easy ... if we had any spare signal numbers.
What about multiplexing it onto an existing signal? e.g. set a shared-mem flag saying "exit after cancel" then send SIGINT?
I guess this is getting away from the original patch though..
-O
---------------------------(end of broadcast)--------------------------- TIP 7: don't forget to increase your free space map settings