From 5a747baecaef6c77b7a938fa0670415bbc6711f2 Mon Sep 17 00:00:00 2001
From: Shubham Sharma <shubham.sha12@gmail.com>
Date: Fri, 13 Dec 2019 02:11:52 +0530
Subject: [PATCH] Cleanup if spawner stop fails

---
 jupyterhub/user.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/jupyterhub/user.py b/jupyterhub/user.py
index d5576235..4fca536a 100644
--- a/jupyterhub/user.py
+++ b/jupyterhub/user.py
@@ -770,6 +770,7 @@ class User:
             self.log.debug("Finished stopping %s", spawner._log_name)
             RUNNING_SERVERS.dec()
         finally:
+            spawner.server = None
             spawner.orm_spawner.started = None
             self.db.commit()
             # trigger post-stop hook