Le 06/03/2011 12:15, Christopher Head a écrit : > 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. >
OK, I created a ticket to work on it later. Thanks. -- Guillaume http://www.postgresql.fr http://dalibo.com -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support
