Skip to content

fix: allow capital letters on host match#1117

Merged
sawka merged 1 commit into
mainfrom
sylvie/allow-capital-host
Oct 24, 2024
Merged

fix: allow capital letters on host match#1117
sawka merged 1 commit into
mainfrom
sylvie/allow-capital-host

Conversation

@oneirocosm
Copy link
Copy Markdown
Contributor

While matching [user@]host[:port], we previously did not allow capital letters in host.

While this makes sense for a hostname, it does not make sense to make that restriction for a host. Since this can match on both, we must widen it to accept characters allowed in host.

While matching [user@]host[:port], we previously did not allow capital
letters in host.

While this makes sense for a hostname, it does not make sense to make
that restriction for a host. Since this can match on both, we must widen
it to accept characters allowed in host.
@sawka sawka merged commit bf5bf6f into main Oct 24, 2024
@sawka sawka deleted the sylvie/allow-capital-host branch October 24, 2024 17:58
xxyy2024 pushed a commit to xxyy2024/waveterm_aipy that referenced this pull request Jun 24, 2025
While matching [user@]host[:port], we previously did not allow capital
letters in host.

While this makes sense for a hostname, it does not make sense to make
that restriction for a host. Since this can match on both, we must widen
it to accept characters allowed in host.
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.

2 participants