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

issue-3772: populating user_options from orm_spawner, cleanup

Browse Source
This commit is contained in:
Igor Berman
2022-01-20 18:04:35 +02:00
parent 64d6f0222c
commit 9c8a4f287a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
jupyterhub/user.py
View File

@@ -601,7 +601,7 @@ class User:
spawner.handler = handler
# Passing user_options to the spawner
if options is None or options is {}:
if options is None:
# options unspecified, load from db which should have the previous value
options = spawner.orm_spawner.user_options or {}
else: