On Sat, 05 Mar 2011 20:30:42 +0100 Guillaume Lelarge <guilla...@lelarge.info> wrote:
> Hi, > > Le 02/03/2011 07:45, Christopher Head a écrit : > > [...] > > I'd like to request the ability to set hostaddr separately from host > > when creating a server connection. This is currently impossible. > > Could you remind me why this would be interesting? AFAIR, they are > pretty much the same thing, aren't they? > Use case: "host" is set to the actual name of the database server so it can fully verify an SSL certificate, "hostaddr" is set to the IP address of some box acting as a tunnel without which a connection to the database server is impossible. I'm sure there are others, but that's mine. Chris -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support