Re: Adding a pg_servername() function

Dear all,

First, thank you so much for your interest in this patch. I didn't think I
would have so many answers.

I agree that the feature I'm suggesting could be done with a few tricks. I
meant to simplify the life of the user by providing a simple new feature.
(Also, I might have trust issues with DNS due to several past production
disasters.)

My question is very simple: Do you oppose having this feature in Postgres?

In other words, should I stop working on this?

Have a nice day,

Lætitia