> On 31 Jan 2024, at 16:39, Tom Lane <t...@sss.pgh.pa.us> wrote: > > Daniel Gustafsson <dan...@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