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

Anastasia Lubennikova <a.lubennikova@postgrespro.ru>

From: Anastasia Lubennikova <a.lubennikova@postgrespro.ru>

To: pgsql-hackers <pgsql-hackers@postgresql.org>

Date: 2017-01-13T13:36:37Z

Lists: pgsql-hackers

Attachments

create_foreign_server_if_not_exists.patch (text/x-patch) patch
create_user_mapping_if_not_exists.patch (text/x-patch) patch
(unnamed) (text/plain)

I implemented IF NOT EXISTS option for CREATE SERVER and CREATE USER 
MAPPING statements
for one of our customers.
I think other users can also find it useful for scripting and automated 
tasks.
The patches themselves are small and simple. Documentation is updated as 
well.

-- 
Anastasia Lubennikova
Postgres Professional: http://www.postgrespro.com
The Russian Postgres Company

Commits

Add IF NOT EXISTS for CREATE SERVER and CREATE USER MAPPING
- b6fb534f10e1 10.0 landed