On Wed, Apr 18, 2018 at 6:55 PM, Thomas Munro
<thomas.mu...@enterprisedb.com> wrote:
> Here's a draft patch that does that.

Here's a better one (the previous version could read past the end of
the occurred_events array).

-- 
Thomas Munro
http://www.enterprisedb.com

Attachment: 0001-Exit-by-default-if-postmaster-dies-v2.patch
Description: Binary data

Reply via email to