I wrote:
> The "terminating connection" warning absolutely should get through,
... oh, no, that's not guaranteed at all, since it's sent from quickdie().
So scratch that. Maybe we'd better add "could not send data to server"
to the regex?
regards, tom lane
