Re: Server-side hooks for user session start and session end - Mailing list pgsql-general

From Nikolai Zhubr
Subject Re: Server-side hooks for user session start and session end
Date
Msg-id 5607D3FC.3090606@yandex.ru
Whole thread Raw
In response to Re: Server-side hooks for user session start and session end  (Pavel Stehule <pavel.stehule@gmail.com>)
Responses Re: Server-side hooks for user session start and session end
Re: Server-side hooks for user session start and session end
List pgsql-general
Hi,
27.09.2015 8:29, Pavel Stehule:
>     I'll check it.
>
>
> It is working. Patch attached

Oh, brilliant! This is a _huge_ help actually!

If I understand it correctly, any unhandled SQL-level exceptions will
essentially be ignored there, so that the session will continue regardless?

And maybe it could even be proposed for upstream?
It is so wonderfully small and looks not too much intrusive.


Thank you,
Nikolai

>
> Regards
>
> Pavel
>



pgsql-general by date:

Previous
From: Pavel Stehule
Date:
Subject: Re: Server-side hooks for user session start and session end
Next
From: Pavel Stehule
Date:
Subject: Re: Server-side hooks for user session start and session end