Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pass the Server Address, Server Port, and UserProperties to Session. #776

Merged
merged 6 commits into from
Mar 10, 2022

Conversation

jansupol
Copy link
Contributor

@jansupol jansupol commented Mar 4, 2022

Update Session#getRequestURI to contain protocol, hostname, and port
Update Session#getUserProperties to contain ServerEndpointConfig#getUserProperties
Make ServerEndpointConfig#getUserProperties possibly copied not to modify the properties between two modifyHandshakes

Signed-off-by: jansupol [email protected]

jansupol added 6 commits March 4, 2022 02:50
Update Session#getRequestURI to contain protocol, hostname, and port
Update Session#getUserProperties to contain ServerEndpointConfig#getUserProperties
Make ServerEndpointConfig#getUserProperties possibly copied not to modify the properties between two modifyHandshakes

Signed-off-by: jansupol <[email protected]>
Signed-off-by: jansupol <[email protected]>
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