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

Allow host_port to override the server_url from the JWT #243

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

mrkaye97
Copy link
Contributor

@mrkaye97 mrkaye97 commented Nov 4, 2024

Closes #241

A couple things here:

  1. Changed the type hints for a bunch of nullable config to be ... | None to make a future type checker (+ my IDE) more happy
  2. Set the default host_port to None to make it more straightforward to check if it's set by the user or not. If it is, we use it to override the one set by the JWT, and if it's not, we fall back to the one from the JWT. Per @abelanger5 - seems like nobody is really using that default anyways

@mrkaye97 mrkaye97 changed the title [WIP] Fix for #241 Allow host_port to override the server_url from the JWT Nov 6, 2024
@mrkaye97 mrkaye97 force-pushed the fixes-241 branch 2 times, most recently from 863da2e to 533e6b8 Compare November 6, 2024 00:14
bugfix

correct type hints for config init

snake case tenant_id

correctly override url in jwt

add fallback server url

move fallback to maintain something closer to current behavior

unwind

unwind drive by

add comment
@mrkaye97 mrkaye97 marked this pull request as ready for review November 6, 2024 00:16
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.

allow proper override of server_url encoded in JWT
1 participant