blob: 4fb21487ffe41ef776e11273dbc4897d43dbb39c [file] [log] [blame]
Guido van Rossum54f22ed2000-02-04 15:10:34 +00001"""Convert a NT pathname to a file URL and vice versa."""
Guido van Rossum746ea351996-06-26 19:47:56 +00002
3def url2pathname(url):
Tim Peters2344fae2001-01-15 00:50:52 +00004 r"""Convert a URL to a DOS path.
Guido van Rossum7f91cf92000-05-30 13:25:35 +00005
Tim Peters2344fae2001-01-15 00:50:52 +00006 ///C|/foo/bar/spam.foo
Guido van Rossum746ea351996-06-26 19:47:56 +00007
Tim Peters2344fae2001-01-15 00:50:52 +00008 becomes
Guido van Rossum746ea351996-06-26 19:47:56 +00009
Tim Peters2344fae2001-01-15 00:50:52 +000010 C:\foo\bar\spam.foo
11 """
12 import string, urllib
13 if not '|' in url:
14 # No drive specifier, just convert slashes
15 if url[:4] == '////':
16 # path is something like ////host/path/on/remote/host
17 # convert this to \\host\path\on\remote\host
18 # (notice halving of slashes at the start of the path)
19 url = url[2:]
Eric S. Raymondb08b2d32001-02-09 11:10:16 +000020 components = url.split('/')
Tim Peters2344fae2001-01-15 00:50:52 +000021 # make sure not to convert quoted slashes :-)
Eric S. Raymondb08b2d32001-02-09 11:10:16 +000022 return urllib.unquote('\\'.join(components))
23 comp = url.split('|')
Fred Drake27eebb82001-07-20 18:52:02 +000024 if len(comp) != 2 or comp[0][-1] not in string.ascii_letters:
Tim Peters2344fae2001-01-15 00:50:52 +000025 error = 'Bad URL: ' + url
26 raise IOError, error
Eric S. Raymondb08b2d32001-02-09 11:10:16 +000027 drive = comp[0][-1].upper()
28 components = comp[1].split('/')
Tim Peters2344fae2001-01-15 00:50:52 +000029 path = drive + ':'
30 for comp in components:
31 if comp:
32 path = path + '\\' + urllib.unquote(comp)
33 return path
Guido van Rossum746ea351996-06-26 19:47:56 +000034
35def pathname2url(p):
Tim Peters2344fae2001-01-15 00:50:52 +000036 r"""Convert a DOS path name to a file url.
Guido van Rossum7f91cf92000-05-30 13:25:35 +000037
Tim Peters2344fae2001-01-15 00:50:52 +000038 C:\foo\bar\spam.foo
Guido van Rossum746ea351996-06-26 19:47:56 +000039
Tim Peters2344fae2001-01-15 00:50:52 +000040 becomes
Guido van Rossum746ea351996-06-26 19:47:56 +000041
Tim Peters2344fae2001-01-15 00:50:52 +000042 ///C|/foo/bar/spam.foo
43 """
Guido van Rossum746ea351996-06-26 19:47:56 +000044
Fred Drake27eebb82001-07-20 18:52:02 +000045 import urllib
Tim Peters2344fae2001-01-15 00:50:52 +000046 if not ':' in p:
47 # No drive specifier, just convert slashes and quote the name
48 if p[:2] == '\\\\':
49 # path is something like \\host\path\on\remote\host
50 # convert this to ////host/path/on/remote/host
51 # (notice doubling of slashes at the start of the path)
52 p = '\\\\' + p
Eric S. Raymondb08b2d32001-02-09 11:10:16 +000053 components = p.split('\\')
54 return urllib.quote('/'.join(components))
55 comp = p.split(':')
Tim Peters2344fae2001-01-15 00:50:52 +000056 if len(comp) != 2 or len(comp[0]) > 1:
57 error = 'Bad path: ' + p
58 raise IOError, error
Guido van Rossum746ea351996-06-26 19:47:56 +000059
Eric S. Raymondb08b2d32001-02-09 11:10:16 +000060 drive = urllib.quote(comp[0].upper())
61 components = comp[1].split('\\')
Tim Peters2344fae2001-01-15 00:50:52 +000062 path = '///' + drive + '|'
63 for comp in components:
64 if comp:
65 path = path + '/' + urllib.quote(comp)
66 return path