Skip to content

feat(server): #346 drop unnamed portals immediately after execution - #348

Merged
sunng87 merged 1 commit into
sunng87:masterfrom
Lilit0x:lilit0x/feat/#346-drop-unnnamed-portals
Nov 13, 2025
Merged

feat(server): #346 drop unnamed portals immediately after execution#348
sunng87 merged 1 commit into
sunng87:masterfrom
Lilit0x:lilit0x/feat/#346-drop-unnnamed-portals

Conversation

@Lilit0x

Copy link
Copy Markdown
Contributor

Removes portals that have the default name after execution is complete.

@sunng87sunng87 linked an issue Nov 13, 2025 that may be closed by this pull request
@sunng87
sunng87 merged commit cc5928b into sunng87:masterNov 13, 2025
10 checks passed
@sunng87

Copy link
Copy Markdown
Owner

The upstream protocol change just got reverted: postgres/postgres@9106904

But anyway i think we can keep his behavior

Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Drop unnamed portal immediately after execution

2 participants

@Lilit0x@sunng87