[DOCS] Fix for pg_replication_origin_session_is_setup

2015-12-24 Thread Adrien Nayrat
Hello, I think there is a mistake in http://www.postgresql.org/docs/9.5/static/functions-admin.html#PG-REPLICATION-ORIGIN-SESSION-SETUP pg_replication_session_is_setup() should be pg_replication_origin_session_is_setup() According to : src/backend/replication/logical/origin.c /* * Has a replica

Re: [DOCS] Fix for pg_replication_origin_session_is_setup

2015-12-24 Thread Tom Lane
Adrien Nayrat writes: > I think there is a mistake in > http://www.postgresql.org/docs/9.5/static/functions-admin.html#PG-REPLICATION-ORIGIN-SESSION-SETUP > pg_replication_session_is_setup() should be > pg_replication_origin_session_is_setup() I think you're right. Pushed, thanks.