diff --git a/IPython/html/terminal/handlers.py b/IPython/html/terminal/handlers.py index 60e3d7b..7ae22d3 100644 --- a/IPython/html/terminal/handlers.py +++ b/IPython/html/terminal/handlers.py @@ -21,4 +21,8 @@ class NewTerminalHandler(IPythonHandler): name, _ = self.application.terminal_manager.new_named_terminal() self.redirect("/terminals/%s" % name, permanent=False) -TermSocket = terminado.TermSocket +class TermSocket(terminado.TermSocket, IPythonHandler): + def get(self, *args, **kwargs): + if not self.get_current_user(): + raise web.HTTPError(403) + return super(TermSocket, self).get(*args, **kwargs)