Merge pull request #446 from afshin/terminal-shutdown

Fix for the terminal shutdown issue
jupyter-server · Mar 18, 2021 · d690965 · d690965
2 parents c75d791 + 5146135
commit d690965
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):