hazza/jupyterhub
1
0
Fork 0
mirror of https://github.com/jupyterhub/jupyterhub.git synced 2025-10-17 23:13:00 +00:00
Code Issues Packages Projects Releases Wiki Activity

issue-3772: populating user_options from orm_spawner

Browse Source
This commit is contained in:
Igor Berman
2022-01-20 18:01:57 +02:00
parent 67ebe0b0cf
commit 64d6f0222c
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
jupyterhub/user.py
View File

@@ -376,6 +376,7 @@ class User:
oauth_client_id=client_id,
cookie_options=self.settings.get('cookie_options', {}),
trusted_alt_names=trusted_alt_names,
user_options=orm_spawner.user_options or {},
)
if self.settings.get('internal_ssl'):
@@ -600,7 +601,7 @@ class User:
spawner.handler = handler
# Passing user_options to the spawner
if options is None:
if options is None or options is {}:
# options unspecified, load from db which should have the previous value
options = spawner.orm_spawner.user_options or {}
else: