From a34bed64865317436c6dc909d2d242cbb63d48b5 Mon Sep 17 00:00:00 2001 From: Simon Li Date: Sat, 2 Nov 2019 21:09:26 +0000 Subject: [PATCH] user hub_url_public for auth config if set --- helm-chart/images/binderhub/binderhub_config.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm-chart/images/binderhub/binderhub_config.py b/helm-chart/images/binderhub/binderhub_config.py index 3a05261c94..486c55c780 100644 --- a/helm-chart/images/binderhub/binderhub_config.py +++ b/helm-chart/images/binderhub/binderhub_config.py @@ -84,7 +84,8 @@ def get_value(key, default=None): c.BinderHub.build_namespace = os.environ['BUILD_NAMESPACE'] if c.BinderHub.auth_enabled: - hub_url = urlparse(c.BinderHub.hub_url) + hub_url = urlparse(c.BinderHub.hub_url_public if 'hub_url_public' in c.BinderHub + else c.BinderHub.hub_url) c.HubOAuth.hub_host = '{}://{}'.format(hub_url.scheme, hub_url.netloc) if 'base_url' in c.BinderHub: c.HubOAuth.base_url = c.BinderHub.base_url