Message-ID: From: "robert-mirzakhanian (@robert-mirzakhanian)" To: "pgjdbc/pgjdbc" Date: Wed, 12 Feb 2025 04:22:56 +0000 Subject: Re: [pgjdbc/pgjdbc] issue #3514: Add PGConnection#getHost, PGConnection#getPort so clients could identify the current host for each connection In-Reply-To: References: List-Id: X-GitHub-Author-Login: robert-mirzakhanian X-GitHub-Comment-Id: 2652627168 X-GitHub-Comment-Type: issue_comment X-GitHub-Issue: 3514 X-GitHub-Repo: pgjdbc/pgjdbc X-GitHub-Type: comment X-GitHub-Url: https://github.com/pgjdbc/pgjdbc/issues/3514#issuecomment-2652627168 Content-Type: text/plain; charset=utf-8 @vlsi what do you think about this?