handlers.py
24 lines
| 788 B
| text/x-python
|
PythonLexer
|
r18480 | """Tornado handlers for the terminal emulator.""" | ||
# Copyright (c) IPython Development Team. | ||||
# Distributed under the terms of the Modified BSD License. | ||||
from tornado import web | ||||
|
r18481 | import terminado | ||
|
r18480 | from ..base.handlers import IPythonHandler | ||
class TerminalHandler(IPythonHandler): | ||||
|
r18482 | """Render the terminal interface.""" | ||
|
r18480 | @web.authenticated | ||
|
r18482 | def get(self, term_name): | ||
self.write(self.render_template('terminal.html', | ||||
ws_path="terminals/websocket/%s" % term_name)) | ||||
|
r18480 | |||
|
r18482 | 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) | ||||
|
r18480 | |||
|
r18482 | TermSocket = terminado.TermSocket | ||