Re: Server-side hooks for user session start and session end

Поиск
Список
Период
Сортировка
От Pavel Stehule
Тема Re: Server-side hooks for user session start and session end
Дата
Msg-id CAFj8pRB0LS=DT-0p278ki7xm3ka3wCeZeBALtvWyf93GqR2mBQ@mail.gmail.com
обсуждение исходный текст
Ответ на Re: Server-side hooks for user session start and session end  (Nikolai Zhubr <n-a-zhubr@yandex.ru>)
Ответы Re: Server-side hooks for user session start and session end
Re: Server-side hooks for user session start and session end
Список pgsql-general
Дерево обсуждения


2015-09-27 13:33 GMT+02:00 Nikolai Zhubr <n-a-zhubr@yandex.ru>:
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.



updated patch - fixed error reporting

Regards

Pavel
 

--
Sent via pgsql-general mailing list (pgsql-general@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-general

Вложения

В списке pgsql-general по дате отправления:

Предыдущее
От: Pavel Stehule
Дата:
Сообщение: Re: Server-side hooks for user session start and session end
Следующее
От: Nikolai Zhubr
Дата:
Сообщение: Re: Server-side hooks for user session start and session end