upstream/ipython Files · jupyter_notebook/edit/handlers.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:

r21208:e65db1aa


                r21236:10a376e0

Download file

             handlers.py
        
                    28 lines
            
             | 878 B
            
                | text/x-python
            
             |
                PythonLexer
            
             / jupyter_notebook / edit / handlers.py
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        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
            
      ]

	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 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	]