Merge pull request jupyter-server#446 from afshin/terminal-shutdown

Fix for the terminal shutdown issue
hMED22 · Mar 18, 2021 · 3344755 · 3344755
2 parents eff321a + 6ca5c0e
commit 3344755
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/jupyter_server/terminal/handlers.py b/jupyter_server/terminal/handlers.py
@@ -22,6 +22,8 @@ def origin_check(self):
     def get(self, *args, **kwargs):
         if not self.get_current_user():
             raise web.HTTPError(403)
+        if not args[0] in self.term_manager.terminals:
+            raise web.HTTPError(404)
         return super(TermSocket, self).get(*args, **kwargs)
 
     def on_message(self, message):