út 24. 9. 2019 v 17:51 odesílatel vignesh C <[email protected]> napsal:
> On Tue, Sep 24, 2019 at 6:22 PM Amit Kapila <[email protected]> > wrote: > > > > On Sat, Sep 21, 2019 at 10:09 PM Pavel Stehule <[email protected]> > wrote: > > > > > > Thank you for check. I am sending updated patch > > > > > > Session termination in case of drop database is solved. > Some typos: > + /* > + * Similar code to pg_terminate_backend, but we check rigts first > + * here, and only when we have all necessary rights we start to > + * terminate other clients. In this case we should not to raise > + * some warnings - like "PID %d is not a PostgreSQL server process", > + * because for this purpose - already finished session is not > + * problem. > + */ > "rigts" should be "rights/privilege" > "should not to raise" could be "should not raise" > fixed > Regards, > Vignesh > EnterpriseDB: http://www.enterprisedb.com >
