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 CAFj8pRAzFFyXqM0U-c2UrqMtHdpWtRw4UAE0ek+B6T96gHi2Lw@mail.gmail.com
обсуждение исходный текст
Ответ на Re: Server-side hooks for user session start and session end  (Nikolai Zhubr <n-a-zhubr@yandex.ru>)
Список 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?

no, unhandled exeception enforce FATAL error. So you cannot to login to this session
 

And maybe it could even be proposed for upstream?

It is extension, so it can live outside.

The accepting to upstream depends on community. I have not too free time to push this patch. But anybody can do it - or upload to PGXN
 
It is so wonderfully small and looks not too much intrusive.

It is really simple.

Regards

Pavel



Thank you,
Nikolai


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 по дате отправления:

Предыдущее
От: Nikolai Zhubr
Дата:
Сообщение: Re: Server-side hooks for user session start and session end
Следующее
От: Vincent Veyron
Дата:
Сообщение: error on CREATE INDEX when restoring from dump file: could not read block 0