Fix for pg_replication_origin_session_is_setup

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 replication origin been setup for this session.
 */
Datum
pg_replication_origin_session_is_setup(PG_FUNCTION_ARGS)
{
        replorigin_check_prerequisites(false, false);

        PG_RETURN_BOOL(replorigin_session_origin != InvalidRepOriginId);
}

A patch is attached to this email.


Regards,

--
Adrien NAYRAT

http://dalibo.com - http://dalibo.org