##// END OF EJS Templates
copy timeit.Timer.timeit from CPython 3.4...
copy timeit.Timer.timeit from CPython 3.4 we were relying on self.inner for %timeit, which is an undocumented implementation detail of Python, and no longer shared by PyPy. This copies the CPython implementation, so it is no longer an undocumented attribute. It will likely not be optimal for some PyPy timings, but at least it works.

File last commit:

r19074:a613289c
r19988:19b061c4
Show More
handlers.py
28 lines | 878 B | text/x-python | PythonLexer
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010 #encoding: utf-8
"""Tornado handlers for the terminal emulator."""
# Copyright (c) IPython Development Team.
# Distributed under the terms of the Modified BSD License.
from tornado import web
Thomas Kluyver
Update text editor for new contents API
r19015 from ..base.handlers import IPythonHandler, path_regex
Thomas Kluyver
Loading a file works
r19011 from ..utils import url_escape
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010
class EditorHandler(IPythonHandler):
Thomas Kluyver
Update text editor for new contents API
r19015 """Render the text editor interface."""
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010 @web.authenticated
Thomas Kluyver
Update text editor for new contents API
r19015 def get(self, path):
Thomas Kluyver
Loading a file works
r19011 path = path.strip('/')
Thomas Kluyver
Update text editor for new contents API
r19015 if not self.contents_manager.file_exists(path):
raise web.HTTPError(404, u'File does not exist: %s' % path)
Thomas Kluyver
Loading a file works
r19011
Thomas Kluyver
Add filename to header area
r19040 basename = path.rsplit('/', 1)[-1]
Thomas Kluyver
Rename texteditor files & folders to edit
r19074 self.write(self.render_template('edit.html',
Thomas Kluyver
Update text editor for new contents API
r19015 file_path=url_escape(path),
Thomas Kluyver
Add filename to header area
r19040 basename=basename,
page_title=basename + " (editing)",
Thomas Kluyver
Loading a file works
r19011 )
)
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010
default_handlers = [
Thomas Kluyver
/texteditor/ in URLs -> /edit/
r19073 (r"/edit%s" % path_regex, EditorHandler),
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010 ]