Don't delete failed spawners

They preserve error messages that are useful

only delete spawners that shutdown cleanly
This commit is contained in:
Min RK
2018-04-09 11:38:29 +02:00
parent c0f37c48a1
commit e56d416210

View File

@@ -554,5 +554,7 @@ class User:
except Exception:
self.log.exception("Error in Authenticator.post_spawn_stop for %s", self)
spawner._stop_pending = False
# pop the Spawner object
self.spawners.pop(server_name)
if not (spawner._spawn_future and spawner._spawn_future.exception()):
# pop Spawner *unless* it's stopping due to an error
# because some pages serve latest-spawn error messages
self.spawners.pop(server_name)