upstream/ipython Files · IPython/html/terminal/handlers.py

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.

Min RK - - Load All Authors

File last commit:

r18831:7cf8d4d1


                r19988:19b061c4

Download file

             handlers.py
        
                    28 lines
            
             | 861 B
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / html / terminal / handlers.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      #encoding: utf-8

      """Tornado handlers for the terminal emulator."""

      # Copyright (c) IPython Development Team.

      # Distributed under the terms of the Modified BSD License.

      import tornado

      from tornado import web

      import terminado

      from ..base.handlers import IPythonHandler

      class TerminalHandler(IPythonHandler):

          """Render the terminal interface."""

          @web.authenticated

          def get(self, term_name):

              self.write(self.render_template('terminal.html',

                         ws_path="terminals/websocket/%s" % term_name))

      class TermSocket(terminado.TermSocket, IPythonHandler):

          def get(self, *args, **kwargs):

              if not self.get_current_user():

                  raise web.HTTPError(403)

              return super(TermSocket, self).get(*args, **kwargs)

          def clear_cookie(self, *args, **kwargs):

              """meaningless for websockets"""

              pass

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

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

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

				import tornado
				from tornado import web
				import terminado
				from ..base.handlers import IPythonHandler

				class TerminalHandler(IPythonHandler):
				"""Render the terminal interface."""
				@web.authenticated
				def get(self, term_name):
				self.write(self.render_template('terminal.html',
				ws_path="terminals/websocket/%s" % term_name))

				class TermSocket(terminado.TermSocket, IPythonHandler):
				def get(self, args, *kwargs):
				if not self.get_current_user():
				raise web.HTTPError(403)
				return super(TermSocket, self).get(args, *kwargs)

				def clear_cookie(self, args, *kwargs):
				"""meaningless for websockets"""
				pass