pass server_name to the spawner

This commit is contained in:
Christian Barra
2017-01-29 21:41:33 +01:00
parent 9373325f1b
commit 488706293f

View File

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