Hi,
On 2018-07-26 16:40:18 -0400, Dave Cramer wrote:
> Since nothing else can be done we should throw an error early.
I can't immediately think of a reason not to do that, but I personally
don't care enough to write a patch...
Greetings,
Andres Freund