#encoding: utf-8
"""Tornado handlers for the terminal emulator."""

# Copyright (c) Jupyter Development Team.
# Distributed under the terms of the Modified BSD License.

from tornado import web
from jupyter_server.base.handlers import JupyterHandler
from jupyter_server.extension.handler import (
    ExtensionHandlerMixin,
    ExtensionHandlerJinjaMixin
)

class TerminalHandler(ExtensionHandlerJinjaMixin, ExtensionHandlerMixin, JupyterHandler):
    """Render the terminal interface."""
    @web.authenticated
    def get(self, term_name):
        if term_name not in self.terminal_manager.terminals:
            self.terminal_manager.create(name=term_name)
        self.write(self.render_template('terminal.html',
                   ws_path="terminals/websocket/%s" % term_name))