Jan Wieck <JanWieck@Yahoo.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