| 
									
										
										
										
											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): | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |     r"""Convert a URL to a DOS path.
 | 
					
						
							| 
									
										
										
										
											2000-05-30 13:25:35 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |             ///C|/foo/bar/spam.foo | 
					
						
							| 
									
										
										
										
											1996-06-26 19:47:56 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |                     becomes | 
					
						
							| 
									
										
										
										
											1996-06-26 19:47:56 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |             C:\foo\bar\spam.foo | 
					
						
							|  |  |  |     """
 | 
					
						
							|  |  |  |     import string, urllib | 
					
						
							|  |  |  |     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 :-) | 
					
						
							| 
									
										
										
										
											2001-02-09 11:10:16 +00:00
										 |  |  |         return urllib.unquote('\\'.join(components)) | 
					
						
							|  |  |  |     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 | 
					
						
							|  |  |  |         raise IOError, 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 + ':' | 
					
						
							|  |  |  |     for  comp in components: | 
					
						
							|  |  |  |         if comp: | 
					
						
							|  |  |  |             path = path + '\\' + urllib.unquote(comp) | 
					
						
							|  |  |  |     return path | 
					
						
							| 
									
										
										
										
											1996-06-26 19:47:56 +00:00
										 |  |  | 
 | 
					
						
							|  |  |  | def pathname2url(p): | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |     r"""Convert a DOS path name to a file url.
 | 
					
						
							| 
									
										
										
										
											2000-05-30 13:25:35 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |             C:\foo\bar\spam.foo | 
					
						
							| 
									
										
										
										
											1996-06-26 19:47:56 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |                     becomes | 
					
						
							| 
									
										
										
										
											1996-06-26 19:47:56 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |             ///C|/foo/bar/spam.foo | 
					
						
							|  |  |  |     """
 | 
					
						
							| 
									
										
										
										
											1996-06-26 19:47:56 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-07-20 18:52:02 +00:00
										 |  |  |     import urllib | 
					
						
							| 
									
										
										
										
											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('\\') | 
					
						
							|  |  |  |         return urllib.quote('/'.join(components)) | 
					
						
							|  |  |  |     comp = p.split(':') | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |     if len(comp) != 2 or len(comp[0]) > 1: | 
					
						
							|  |  |  |         error = 'Bad path: ' + p | 
					
						
							|  |  |  |         raise IOError, error | 
					
						
							| 
									
										
										
										
											1996-06-26 19:47:56 +00:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2001-02-09 11:10:16 +00:00
										 |  |  |     drive = urllib.quote(comp[0].upper()) | 
					
						
							|  |  |  |     components = comp[1].split('\\') | 
					
						
							| 
									
										
										
										
											2001-01-15 00:50:52 +00:00
										 |  |  |     path = '///' + drive + '|' | 
					
						
							|  |  |  |     for comp in components: | 
					
						
							|  |  |  |         if comp: | 
					
						
							|  |  |  |             path = path + '/' + urllib.quote(comp) | 
					
						
							|  |  |  |     return path |