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

add exponential falloff for reconnect...

add exponential falloff for reconnect avoids constant reconnect attempts every 3 seconds forever gives up after 6 tries (last timeout 64s)

Thomas Kluyver - - Load All Authors

File last commit:

r18485:8ddd2960


                r18728:cc8e3e36

Download file

             __init__.py
        
                    18 lines
            
             | 861 B
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / html / terminal / __init__.py
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        Thomas Kluyver
    
Multiple terminals and conditional initialisation

              r18482
            
      import os

      from terminado import NamedTermManager

        Thomas Kluyver
    
Put terminal handlers under base_url

              r18485
            
      from IPython.html.utils import url_path_join as ujoin

        Thomas Kluyver
    
Multiple terminals and conditional initialisation

              r18482
            
      from .handlers import TerminalHandler, NewTerminalHandler, TermSocket

        Thomas Kluyver
    
Initial REST API for terminals

              r18483
            
      from . import api_handlers

        Thomas Kluyver
    
Multiple terminals and conditional initialisation

              r18482
            
      def initialize(webapp):

          shell = os.environ.get('SHELL', 'sh')

          webapp.terminal_manager = NamedTermManager(shell_command=[shell])

        Thomas Kluyver
    
Put terminal handlers under base_url

              r18485
            
          base_url = webapp.settings['base_url']

        Thomas Kluyver
    
Multiple terminals and conditional initialisation

              r18482
            
          handlers = [

        Thomas Kluyver
    
Put terminal handlers under base_url

              r18485
            
              (ujoin(base_url, "/terminals/new"), NewTerminalHandler),

              (ujoin(base_url, r"/terminals/(\w+)"), TerminalHandler),

              (ujoin(base_url, r"/terminals/websocket/(\w+)"), TermSocket,

        Thomas Kluyver
    
Multiple terminals and conditional initialisation

              r18482
            
                   {'term_manager': webapp.terminal_manager}),

        Thomas Kluyver
    
Put terminal handlers under base_url

              r18485
            
              (ujoin(base_url, r"/api/terminals"), api_handlers.TerminalRootHandler),

              (ujoin(base_url, r"/api/terminals/(\w+)"), api_handlers.TerminalHandler),

        Thomas Kluyver
    
Multiple terminals and conditional initialisation

              r18482
            
          ]

          webapp.add_handlers(".*$", handlers)

	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

Thomas Kluyver Multiple terminals and conditional initialisation	r18482	import os
		from terminado import NamedTermManager
Thomas Kluyver Put terminal handlers under base_url	r18485	from IPython.html.utils import url_path_join as ujoin
Thomas Kluyver Multiple terminals and conditional initialisation	r18482	from .handlers import TerminalHandler, NewTerminalHandler, TermSocket
Thomas Kluyver Initial REST API for terminals	r18483	from . import api_handlers
Thomas Kluyver Multiple terminals and conditional initialisation	r18482
		def initialize(webapp):
		shell = os.environ.get('SHELL', 'sh')
		webapp.terminal_manager = NamedTermManager(shell_command=[shell])
Thomas Kluyver Put terminal handlers under base_url	r18485	base_url = webapp.settings['base_url']
Thomas Kluyver Multiple terminals and conditional initialisation	r18482	handlers = [
Thomas Kluyver Put terminal handlers under base_url	r18485	(ujoin(base_url, "/terminals/new"), NewTerminalHandler),
		(ujoin(base_url, r"/terminals/(\w+)"), TerminalHandler),
		(ujoin(base_url, r"/terminals/websocket/(\w+)"), TermSocket,
Thomas Kluyver Multiple terminals and conditional initialisation	r18482	{'term_manager': webapp.terminal_manager}),
Thomas Kluyver Put terminal handlers under base_url	r18485	(ujoin(base_url, r"/api/terminals"), api_handlers.TerminalRootHandler),
		(ujoin(base_url, r"/api/terminals/(\w+)"), api_handlers.TerminalHandler),
Thomas Kluyver Multiple terminals and conditional initialisation	r18482	]
		webapp.add_handlers(".*$", handlers)