upstream/ipython Files · IPython/zmq/log.py

Fix a bug in renaming notebook...

Fix a bug in renaming notebook There was a bug in NotebookManager.save_notebook_object. Here is how to reproduce: 0. Make sure you don't have Untitled0. 1. Open new notebook Untitled0. 2. Rename it to something else. 3. Copy Untitled0.ipynb to the notebook dir from somewhere. (Do not use notebook UI.) 4. New copied Untitled0 cannot be opened. The renamed notebook is opened when tried. Indeed, accessing to http://localhost:XXXX/notebooks shows duplicated notebook_id. The problem was that NotebookManager.rev_mapping keeps old notebook name after renaming.

MinRK - - Load All Authors

File last commit:

r3603:600411fc


                r7359:ef719b62

Download file

             log.py
        
                    23 lines
            
             | 687 B
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / zmq / log.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      import logging

      from logging import INFO, DEBUG, WARN, ERROR, FATAL

      import zmq

      from zmq.log.handlers import PUBHandler

      class EnginePUBHandler(PUBHandler):

          """A simple PUBHandler subclass that sets root_topic"""

          engine=None

          def __init__(self, engine, *args, **kwargs):

              PUBHandler.__init__(self,*args, **kwargs)

              self.engine = engine

          @property

          def root_topic(self):

              """this is a property, in case the handler is created

              before the engine gets registered with an id"""

              if isinstance(getattr(self.engine, 'id', None), int):

                  return "engine.%i"%self.engine.id

              else:

                  return "engine"

	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 logging
				from logging import INFO, DEBUG, WARN, ERROR, FATAL

				import zmq
				from zmq.log.handlers import PUBHandler

				class EnginePUBHandler(PUBHandler):
				"""A simple PUBHandler subclass that sets root_topic"""
				engine=None

				def __init__(self, engine, args, *kwargs):
				PUBHandler.__init__(self,args, *kwargs)
				self.engine = engine

				@property
				def root_topic(self):
				"""this is a property, in case the handler is created
				before the engine gets registered with an id"""
				if isinstance(getattr(self.engine, 'id', None), int):
				return "engine.%i"%self.engine.id
				else:
				return "engine"