From 884b305e10c4942d0a0b5674be548d043bbfb531 Mon Sep 17 00:00:00 2001
From: Min RK <benjaminrk@gmail.com>
Date: Thu, 15 Jan 2015 15:46:08 -0800
Subject: [PATCH] hook up terminado logger

---
 IPython/html/terminal/__init__.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/IPython/html/terminal/__init__.py b/IPython/html/terminal/__init__.py
index d8d9945b1..81803d87f 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),