Jan Wieck <JanWieck(at)Yahoo(dot)com> writes:
> Yes, killing (or rather closing the pipe to it) early is probably the
> right idea.
Right, we can just close the pipe. I was thinking of adding another
signal but that's obviously easier. Will work on making this happen.
regards, tom lane