| 
									
										
										
										
											2000-02-04 15:10:34 +00:00
										 |  |  | """Convert a NT pathname to a file URL and vice versa.""" | 
					
						
							| 
									
										
										
										
											1996-06-26 19:47:56 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | def url2pathname(url): | 
					
						
							| 
									
										
										
										
											2005-12-26 22:53:56 +00:00
										 |  |  |     """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 | 
					
						
							|  |  |  |     # becomes | 
					
						
							|  |  |  |     # C:\foo\bar\spam.foo | 
					
						
							| 
									
										
										
										
											2008-06-18 22:38:24 +00:00
										 |  |  |     import string, urllib.parse | 
					
						
							| 
									
										
										
										
											2005-12-15 21:59:00 +00:00
										 |  |  |     # Windows itself uses ":" even in URLs. | 
					
						
							|  |  |  |     url = url.replace(':', '|') | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |     if not '|' in url: | 
					
						
							|  |  |  |         # No drive specifier, just convert slashes | 
					
						
							|  |  |  |         if url[:4] == '////': | 
					
						
							|  |  |  |             # path is something like ////host/path/on/remote/host | 
					
						
							|  |  |  |             # convert this to \\host\path\on\remote\host | 
					
						
							|  |  |  |             # (notice halving of slashes at the start of the path) | 
					
						
							|  |  |  |             url = url[2:] | 
					
						
							| 
									
										
										
										
											2001-02-09 11:10:16 +00:00
										 |  |  |         components = url.split('/') | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |         # make sure not to convert quoted slashes :-) | 
					
						
							| 
									
										
										
										
											2008-06-18 22:38:24 +00:00
										 |  |  |         return urllib.parse.unquote('\\'.join(components)) | 
					
						
							| 
									
										
										
										
											2001-02-09 11:10:16 +00:00
										 |  |  |     comp = url.split('|') | 
					
						
							| 
									
										
										
										
											2001-07-20 18:52:02 +00:00
										 |  |  |     if len(comp) != 2 or comp[0][-1] not in string.ascii_letters: | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |         error = 'Bad URL: ' + url | 
					
						
							| 
									
										
										
										
											2012-12-25 16:47:37 +02:00
										 |  |  |         raise OSError(error) | 
					
						
							| 
									
										
										
										
											2001-02-09 11:10:16 +00:00
										 |  |  |     drive = comp[0][-1].upper() | 
					
						
							|  |  |  |     components = comp[1].split('/') | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |     path = drive + ':' | 
					
						
							| 
									
										
										
										
											2011-04-14 13:16:30 +08:00
										 |  |  |     for comp in components: | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |         if comp: | 
					
						
							| 
									
										
										
										
											2008-06-18 22:38:24 +00:00
										 |  |  |             path = path + '\\' + urllib.parse.unquote(comp) | 
					
						
							| 
									
										
										
										
											2011-04-14 13:16:30 +08:00
										 |  |  |     # Issue #11474 - handing url such as |c/| | 
					
						
							|  |  |  |     if path.endswith(':') and url.endswith('/'): | 
					
						
							|  |  |  |         path += '\\' | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |     return path | 
					
						
							| 
									
										
										
										
											1996-06-26 19:47:56 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | def pathname2url(p): | 
					
						
							| 
									
										
										
										
											2005-12-26 22:53:56 +00:00
										 |  |  |     """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 | 
					
						
							| 
									
										
										
										
											2008-06-18 22:38:24 +00:00
										 |  |  |     import urllib.parse | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |     if not ':' in p: | 
					
						
							|  |  |  |         # No drive specifier, just convert slashes and quote the name | 
					
						
							|  |  |  |         if p[:2] == '\\\\': | 
					
						
							|  |  |  |         # path is something like \\host\path\on\remote\host | 
					
						
							|  |  |  |         # convert this to ////host/path/on/remote/host | 
					
						
							|  |  |  |         # (notice doubling of slashes at the start of the path) | 
					
						
							|  |  |  |             p = '\\\\' + p | 
					
						
							| 
									
										
										
										
											2001-02-09 11:10:16 +00:00
										 |  |  |         components = p.split('\\') | 
					
						
							| 
									
										
										
										
											2008-06-18 22:38:24 +00:00
										 |  |  |         return urllib.parse.quote('/'.join(components)) | 
					
						
							| 
									
										
										
										
											2001-02-09 11:10:16 +00:00
										 |  |  |     comp = p.split(':') | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |     if len(comp) != 2 or len(comp[0]) > 1: | 
					
						
							|  |  |  |         error = 'Bad path: ' + p | 
					
						
							| 
									
										
										
										
											2012-12-25 16:47:37 +02:00
										 |  |  |         raise OSError(error) | 
					
						
							| 
									
										
										
										
											1996-06-26 19:47:56 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-06-18 22:38:24 +00:00
										 |  |  |     drive = urllib.parse.quote(comp[0].upper()) | 
					
						
							| 
									
										
										
										
											2001-02-09 11:10:16 +00:00
										 |  |  |     components = comp[1].split('\\') | 
					
						
							| 
									
										
										
										
											2009-05-05 18:41:13 +00:00
										 |  |  |     path = '///' + drive + ':' | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |     for comp in components: | 
					
						
							|  |  |  |         if comp: | 
					
						
							| 
									
										
										
										
											2008-06-18 22:38:24 +00:00
										 |  |  |             path = path + '/' + urllib.parse.quote(comp) | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |     return path |