Skip to content

Store the jack-in server's port as a string - #4229

Open
bbatsov wants to merge 1 commit into
masterfrom
jack-in-port-string
Open

bbatsov wants to merge 1 commit into
masterfrom
jack-in-port-string

Conversation

@bbatsov

@bbatsov bbatsov commented Nov 10, 2026

Copy link
Copy Markdown
Member

The rest of #4180: the server filter still kept the port a jack-in server prints as a number, and the server's params win when a session's are gathered, so cider-connect to a jacked-in port never found the session that was already there.

The server filter kept it as a number, and the server's params win when
a session's params are gathered, so a jacked-in session never matched
the string port cider-connect stores and connecting to it again gave no
warning about the session that already exists.

This branch has not been deployed

No deployments
Sign up for free to 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.

1 participant