upstream/ipython Files · IPython/utils/localinterfaces.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.

Matthias BUSSONNIER - - Load All Authors

File last commit:

r5390:c82649ea


                r7359:ef719b62

Download file

             localinterfaces.py
        
                    40 lines
            
             | 1.3 KiB
            
                | text/x-python
            
             |
                PythonLexer
            
             / IPython / utils / localinterfaces.py
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      """Simple utility for building a list of local IPs using the socket module.

      This module defines two constants:

      LOCALHOST : The loopback interface, or the first interface that points to this

                  machine.  It will *almost* always be '127.0.0.1'

      LOCAL_IPS : A list of IP addresses, loopback first, that point to this machine.

      """

      #-----------------------------------------------------------------------------

      #  Copyright (C) 2010-2011  The IPython Development Team

      #

      #  Distributed under the terms of the BSD License.  The full license is in

      #  the file COPYING, distributed as part of this software.

      #-----------------------------------------------------------------------------

      #-----------------------------------------------------------------------------

      # Imports

      #-----------------------------------------------------------------------------

      import socket

      #-----------------------------------------------------------------------------

      # Code

      #-----------------------------------------------------------------------------

      LOCAL_IPS = []

      try:

          LOCAL_IPS = socket.gethostbyname_ex('localhost')[2]

      except socket.gaierror:

          pass

      try:

          LOCAL_IPS.extend(socket.gethostbyname_ex(socket.gethostname())[2])

      except socket.gaierror:

          pass

      # include all-interface aliases: 0.0.0.0 and ''

      LOCAL_IPS.extend(['0.0.0.0', ''])

      LOCALHOST = LOCAL_IPS[0]

	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

				"""Simple utility for building a list of local IPs using the socket module.
				This module defines two constants:

				LOCALHOST : The loopback interface, or the first interface that points to this
				machine. It will almost always be '127.0.0.1'

				LOCAL_IPS : A list of IP addresses, loopback first, that point to this machine.
				"""
				#-----------------------------------------------------------------------------
				# Copyright (C) 2010-2011 The IPython Development Team
				#
				# Distributed under the terms of the BSD License. The full license is in
				# the file COPYING, distributed as part of this software.
				#-----------------------------------------------------------------------------

				#-----------------------------------------------------------------------------
				# Imports
				#-----------------------------------------------------------------------------

				import socket

				#-----------------------------------------------------------------------------
				# Code
				#-----------------------------------------------------------------------------

				LOCAL_IPS = []
				try:
				LOCAL_IPS = socket.gethostbyname_ex('localhost')[2]
				except socket.gaierror:
				pass

				try:
				LOCAL_IPS.extend(socket.gethostbyname_ex(socket.gethostname())[2])
				except socket.gaierror:
				pass

				# include all-interface aliases: 0.0.0.0 and ''
				LOCAL_IPS.extend(['0.0.0.0', ''])

				LOCALHOST = LOCAL_IPS[0]