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

Fix race condition in javascript kernel message processing...

Fix race condition in javascript kernel message processing Because the binary messages are now deserialized using the asynchronous FileReader API, we need to have some way to force the messages to still be processed in the order they are received. This patch implements a simple processing queue using promises.

Min RK - - Load All Authors

File last commit:

r19975:c42828d1


                r20441:834cd9c4

Download file

             api_handlers.py
        
                    44 lines
            
             | 1.3 KiB
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / html / terminal / api_handlers.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      import json

      from tornado import web, gen

      from ..base.handlers import IPythonHandler, json_errors

      from ..utils import url_path_join

      class TerminalRootHandler(IPythonHandler):

          @web.authenticated

          @json_errors

          def get(self):

              tm = self.terminal_manager

              terms = [{'name': name} for name in tm.terminals]

              self.finish(json.dumps(terms))

          @web.authenticated

          @json_errors

          def post(self):

              """POST /terminals creates a new terminal and redirects to it"""

              name, _ = self.terminal_manager.new_named_terminal()

              self.finish(json.dumps({'name': name}))

      class TerminalHandler(IPythonHandler):

          SUPPORTED_METHODS = ('GET', 'DELETE')

          @web.authenticated

          @json_errors

          def get(self, name):

              tm = self.terminal_manager

              if name in tm.terminals:

                  self.finish(json.dumps({'name': name}))

              else:

                  raise web.HTTPError(404, "Terminal not found: %r" % name)

          @web.authenticated

          @json_errors

          @gen.coroutine

          def delete(self, name):

              tm = self.terminal_manager

              if name in tm.terminals:

                  yield tm.terminate(name, force=True)

                  self.set_status(204)

                  self.finish()

              else:

                  raise web.HTTPError(404, "Terminal not found: %r" % name)

	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

				import json
				from tornado import web, gen
				from ..base.handlers import IPythonHandler, json_errors
				from ..utils import url_path_join

				class TerminalRootHandler(IPythonHandler):
				@web.authenticated
				@json_errors
				def get(self):
				tm = self.terminal_manager
				terms = [{'name': name} for name in tm.terminals]
				self.finish(json.dumps(terms))

				@web.authenticated
				@json_errors
				def post(self):
				"""POST /terminals creates a new terminal and redirects to it"""
				name, _ = self.terminal_manager.new_named_terminal()
				self.finish(json.dumps({'name': name}))


				class TerminalHandler(IPythonHandler):
				SUPPORTED_METHODS = ('GET', 'DELETE')

				@web.authenticated
				@json_errors
				def get(self, name):
				tm = self.terminal_manager
				if name in tm.terminals:
				self.finish(json.dumps({'name': name}))
				else:
				raise web.HTTPError(404, "Terminal not found: %r" % name)

				@web.authenticated
				@json_errors
				@gen.coroutine
				def delete(self, name):
				tm = self.terminal_manager
				if name in tm.terminals:
				yield tm.terminate(name, force=True)
				self.set_status(204)
				self.finish()
				else:
				raise web.HTTPError(404, "Terminal not found: %r" % name)