mirror of
https://github.com/jupyterhub/jupyterhub.git
synced 2025-10-13 04:53:01 +00:00
fix server_name
This commit is contained in:
@@ -210,7 +210,7 @@ class User(HasTraits):
|
|||||||
where name is the server uuid urlsafed
|
where name is the server uuid urlsafed
|
||||||
"""
|
"""
|
||||||
db = self.db
|
db = self.db
|
||||||
if server_name in options:
|
if 'server_name' in options:
|
||||||
server_name = options['server_name']
|
server_name = options['server_name']
|
||||||
else:
|
else:
|
||||||
server_name = default_server_name(self)
|
server_name = default_server_name(self)
|
||||||
|
Reference in New Issue
Block a user