upstream/ipython Files · jupyter_notebook/terminal/__init__.py

fix bug in stale profile clean up for clusters...

fix bug in stale profile clean up for clusters "clusters" tab of my notebook wasn't rendering, so checked the log, found the stack trace: ``` [...] File "/usr/local/lib/python3.4/site-packages/ipython-3.0.0-py3.4.egg/IPython/html/services/clusters/handlers.py", line 21, in get self.finish(json.dumps(self.cluster_manager.list_profiles())) File "/usr/local/lib/python3.4/site-packages/ipython-3.0.0-py3.4.egg/IPython/html/services/clusters/clustermanager.py", line 77, in list_profiles self.update_profiles() File "/usr/local/lib/python3.4/site-packages/ipython-3.0.0-py3.4.egg/IPython/html/services/clusters/clustermanager.py", line 74, in update_profiles self.profiles.pop(stale) TypeError: unhashable type: 'set' ``` looks like a pretty straightforward mistake

Min RK - - Load All Authors

File last commit:

r21212:244bf603


                r21236:10a376e0

Download file

             __init__.py
        
                    26 lines
            
             | 1.0 KiB
            
                | text/x-python
            
             |
                PythonLexer
            
             / jupyter_notebook / terminal / __init__.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      import os

      import terminado

      from ..utils import check_version

      if not check_version(terminado.__version__, '0.3.3'):

          raise ImportError("terminado >= 0.3.3 required, found %s" % terminado.__version__)

      from terminado import NamedTermManager

      from tornado.log import app_log

      from jupyter_notebook.utils import url_path_join as ujoin

      from .handlers import TerminalHandler, TermSocket

      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),

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

                   {'term_manager': terminal_manager}),

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

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

          ]

          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

				import os

				import terminado
				from ..utils import check_version

				if not check_version(terminado.__version__, '0.3.3'):
				raise ImportError("terminado >= 0.3.3 required, found %s" % terminado.__version__)

				from terminado import NamedTermManager
				from tornado.log import app_log
				from jupyter_notebook.utils import url_path_join as ujoin
				from .handlers import TerminalHandler, TermSocket
				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),
				(ujoin(base_url, r"/terminals/websocket/(\w+)"), TermSocket,
				{'term_manager': terminal_manager}),
				(ujoin(base_url, r"/api/terminals"), api_handlers.TerminalRootHandler),
				(ujoin(base_url, r"/api/terminals/(\w+)"), api_handlers.TerminalHandler),
				]
				webapp.add_handlers(".*$", handlers)