mirror of
				https://github.com/python/cpython.git
				synced 2025-10-31 21:51:50 +00:00 
			
		
		
		
	 7bbcd32e59
			
		
	
	
		7bbcd32e59
		
			
		
	
	
	
	
		
			
			GH-127078: `url2pathname()`: handle extra slash before UNC drive in URL path (GH-127132)
Decode a file URI like `file://///server/share` as a UNC path like
`\\server\share`. This form of file URI is created by software the simply
prepends `file:///` to any absolute Windows path.
(cherry picked from commit 8c98ed846a)
Co-authored-by: Barney Gale <barney.gale@gmail.com>
		
	
			
		
			
				
	
	
		
			69 lines
		
	
	
	
		
			2.3 KiB
		
	
	
	
		
			Python
		
	
	
	
	
	
			
		
		
	
	
			69 lines
		
	
	
	
		
			2.3 KiB
		
	
	
	
		
			Python
		
	
	
	
	
	
| """Convert a NT pathname to a file URL and vice versa.
 | |
| 
 | |
| This module only exists to provide OS-specific code
 | |
| for urllib.requests, thus do not use directly.
 | |
| """
 | |
| # Testing is done through test_urllib.
 | |
| 
 | |
| def url2pathname(url):
 | |
|     """OS-specific conversion from a relative URL of the 'file' scheme
 | |
|     to a file system path; not recommended for general use."""
 | |
|     # e.g.
 | |
|     #   ///C|/foo/bar/spam.foo
 | |
|     # and
 | |
|     #   ///C:/foo/bar/spam.foo
 | |
|     # become
 | |
|     #   C:\foo\bar\spam.foo
 | |
|     import string, urllib.parse
 | |
|     if url[:3] == '///':
 | |
|         # URL has an empty authority section, so the path begins on the third
 | |
|         # character.
 | |
|         url = url[2:]
 | |
|     elif url[:12] == '//localhost/':
 | |
|         # Skip past 'localhost' authority.
 | |
|         url = url[11:]
 | |
|     if url[:3] == '///':
 | |
|         # Skip past extra slash before UNC drive in URL path.
 | |
|         url = url[1:]
 | |
|     # Windows itself uses ":" even in URLs.
 | |
|     url = url.replace(':', '|')
 | |
|     if not '|' in url:
 | |
|         # No drive specifier, just convert slashes
 | |
|         # make sure not to convert quoted slashes :-)
 | |
|         return urllib.parse.unquote(url.replace('/', '\\'))
 | |
|     comp = url.split('|')
 | |
|     if len(comp) != 2 or comp[0][-1] not in string.ascii_letters:
 | |
|         error = 'Bad URL: ' + url
 | |
|         raise OSError(error)
 | |
|     drive = comp[0][-1].upper()
 | |
|     tail = urllib.parse.unquote(comp[1].replace('/', '\\'))
 | |
|     return drive + ':' + tail
 | |
| 
 | |
| def pathname2url(p):
 | |
|     """OS-specific conversion from a file system path to a relative URL
 | |
|     of the 'file' scheme; not recommended for general use."""
 | |
|     # e.g.
 | |
|     #   C:\foo\bar\spam.foo
 | |
|     # becomes
 | |
|     #   ///C:/foo/bar/spam.foo
 | |
|     import urllib.parse
 | |
|     # First, clean up some special forms. We are going to sacrifice
 | |
|     # the additional information anyway
 | |
|     p = p.replace('\\', '/')
 | |
|     if p[:4] == '//?/':
 | |
|         p = p[4:]
 | |
|         if p[:4].upper() == 'UNC/':
 | |
|             p = '//' + p[4:]
 | |
|         elif p[1:2] != ':':
 | |
|             raise OSError('Bad path: ' + p)
 | |
|     if not ':' in p:
 | |
|         # No DOS drive specified, just quote the pathname
 | |
|         return urllib.parse.quote(p)
 | |
|     comp = p.split(':', maxsplit=2)
 | |
|     if len(comp) != 2 or len(comp[0]) > 1:
 | |
|         error = 'Bad path: ' + p
 | |
|         raise OSError(error)
 | |
| 
 | |
|     drive = urllib.parse.quote(comp[0].upper())
 | |
|     tail = urllib.parse.quote(comp[1])
 | |
|     return '///' + drive + ':' + tail
 |