> -----Original Message-----
> From: pgadmin-hackers-owner@postgresql.org
> [mailto:pgadmin-hackers-owner@postgresql.org] On Behalf Of
> Peter Eisentraut
> Sent: 24 February 2006 09:45
> To: pgadmin-hackers@postgresql.org
> Subject: [pgadmin-hackers] localpipe
>
> pgAdmin talks about a <localpipe>, but the thing is in fact a local
> socket, not a pipe. I suggest the following change.
Thanks, patch applied.
Regards, Dave