"""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