Bruce Momjian <bruce@momjian.us> writes:
> Can we assume all the mutexes will be cleaned up from a 128-exit?
In the deadman-switch case I think we're safe enough. I'm not convinced
at the moment that ignoring the error would be safe without that.
regards, tom lane