Message-ID: From: "vlsi (@vlsi)" To: "pgjdbc/pgjdbc" Date: Sun, 24 May 2026 08:16:10 +0000 Subject: Re: [pgjdbc/pgjdbc] PR #4016: feat: harden protocol reader against desynced streams (#4015) In-Reply-To: References: List-Id: X-GitHub-Author-Login: vlsi X-GitHub-Comment-Id: 3294114094 X-GitHub-Comment-Type: review_comment X-GitHub-Commit: 18ef66a5594bac7f828a01c0d59099226945504f X-GitHub-Issue: 4016 X-GitHub-Line: 828 X-GitHub-Path: pgjdbc/src/main/java/org/postgresql/core/v3/ConnectionFactoryImpl.java X-GitHub-Repo: pgjdbc/pgjdbc X-GitHub-Type: review_comment X-GitHub-Url: https://github.com/pgjdbc/pgjdbc/pull/4016#discussion_r3294114094 Content-Type: text/plain; charset=utf-8 (on pgjdbc/src/main/java/org/postgresql/core/v3/ConnectionFactoryImpl.java:828) `"Protocol error. Session setup failed."` is mentioned in `.po` translation files as well. Do you suggest I should include that modification into the current PR?