Re: IF NOT EXISTS option for CREATE SERVER and CREATE USER MAPPING statements

Artur Zakirov <a.zakirov@postgrespro.ru>

From: Artur Zakirov <a.zakirov@postgrespro.ru>
To: Anastasia Lubennikova <a.lubennikova@postgrespro.ru>, Andrew Dunstan <andrew.dunstan@2ndquadrant.com>, pgsql-hackers <pgsql-hackers@postgresql.org>
Date: 2017-03-13T10:48:34Z
Lists: pgsql-hackers
On 13.03.2017 13:01, Anastasia Lubennikova wrote:
>
> Thanks for catching that.
> It was caused by a conflict on applying of the patch.
> Updated versions of both patches are attached.
>

I think the code is good and the patches are small. Documentation is 
updated by the patches.

All regression tests are passed.

Marked the patch as "Ready for Commiter".

-- 
Artur Zakirov
Postgres Professional: http://www.postgrespro.com
Russian Postgres Company


Commits

  1. Add IF NOT EXISTS for CREATE SERVER and CREATE USER MAPPING