fix named_servers, change server.base_url

This commit is contained in:
Christian Barra
2017-04-15 03:47:09 +03:00
parent 4c79a8cb2d
commit 76b589bc90
4 changed files with 14 additions and 13 deletions

View File

@@ -236,7 +236,8 @@ class User(HasTraits):
db.commit()
spawner = self.spawner
# Passing server_name to the spawner
# Passing server_name and base_url to the spawner
spawner.server_base_url = base_url
spawner.server_name = server_name
spawner.user_options = options or {}
# we are starting a new server, make sure it doesn't restore state