Add authentication for terminal websockets

IPython/html/terminal/handlers.py

@@ -1,24 +1,28 b''
 """Tornado handlers for the terminal emulator."""
 
 # Copyright (c) IPython Development Team.
 # Distributed under the terms of the Modified BSD License.
 
 from tornado import web
 import terminado
 from ..base.handlers import IPythonHandler
 
 class TerminalHandler(IPythonHandler):
     """Render the terminal interface."""
     @web.authenticated
     def get(self, term_name):
         self.write(self.render_template('terminal.html',
                    ws_path="terminals/websocket/%s" % term_name))
 
 class NewTerminalHandler(IPythonHandler):
     """Redirect to a new terminal."""
     @web.authenticated
     def get(self):
         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)