From 558749bb0a84d8c28a90bb0f9adb65a58707e5d8 2015-01-17 01:07:06
From: Min RK <benjaminrk@gmail.com>
Date: 2015-01-17 01:07:06
Subject: [PATCH] hook up terminado logger
---

diff --git a/IPython/html/terminal/__init__.py b/IPython/html/terminal/__init__.py
index d8d9945..81803d8 100644
--- a/IPython/html/terminal/__init__.py
+++ b/IPython/html/terminal/__init__.py
@@ -1,5 +1,6 @@
 import os
 from terminado import NamedTermManager
+from tornado.log import app_log
 from IPython.html.utils import url_path_join as ujoin
 from .handlers import TerminalHandler, TermSocket
 from . import api_handlers
@@ -7,6 +8,7 @@ from . import api_handlers
 def initialize(webapp):
     shell = os.environ.get('SHELL', 'sh')
     terminal_manager = webapp.settings['terminal_manager'] = NamedTermManager(shell_command=[shell])
+    terminal_manager.log = app_log
     base_url = webapp.settings['base_url']
     handlers = [
         (ujoin(base_url, r"/terminals/(\w+)"), TerminalHandler),