Thomas Lockhart <lockhart@fourpalms.org> writes:
> I'm with Peter on this one; let's find another more neutral name.
Proposals then? What's been used or bandied about so far are
"REALLYFATAL" (yuck, even though I take the blame for it).
"STOP" (Vadim put this in, but I object to it as being too vague; it's not at all obvious that it's worse than
FATAL).
"FATALALL" (also yuck).
Surely we can find something that's short, memorable, and clearly
a notch more fatal than FATAL.
regards, tom lane
