> On 31 Jan 2024, at 16:39, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
> Daniel Gustafsson <daniel@yesql.se> writes:
>> I think it should, the idea of that check is to catch calls to actual exits,
>> while this is instrumentation which has nothing to do with exit(2). The
>> attached diff should be enough to handle this.
>
> +1
Pushed. It can be argued that it should be backpatched, but for now I've only
pushed it to master. If there are strong opinions on backpatching I'd be happy
to fix that.
--
Daniel Gustafsson