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):
|
2000-05-30 13:25:35 +00:00
|
|
|
r"""Convert a URL to a DOS path.
|
|
|
|
|
1996-06-26 19:47:56 +00:00
|
|
|
///C|/foo/bar/spam.foo
|
|
|
|
|
|
|
|
becomes
|
|
|
|
|
|
|
|
C:\foo\bar\spam.foo
|
|
|
|
"""
|
1999-03-12 14:31:10 +00:00
|
|
|
import string, urllib
|
1997-08-12 14:47:24 +00:00
|
|
|
if not '|' in url:
|
|
|
|
# No drive specifier, just convert slashes
|
1999-03-18 14:21:41 +00:00
|
|
|
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:]
|
1999-03-12 14:31:10 +00:00
|
|
|
components = string.split(url, '/')
|
|
|
|
# make sure not to convert quoted slashes :-)
|
|
|
|
return urllib.unquote(string.join(components, '\\'))
|
|
|
|
comp = string.split(url, '|')
|
1996-06-26 19:47:56 +00:00
|
|
|
if len(comp) != 2 or comp[0][-1] not in string.letters:
|
|
|
|
error = 'Bad URL: ' + url
|
|
|
|
raise IOError, error
|
|
|
|
drive = string.upper(comp[0][-1])
|
1999-03-12 14:31:10 +00:00
|
|
|
components = string.split(comp[1], '/')
|
1996-06-26 19:47:56 +00:00
|
|
|
path = drive + ':'
|
|
|
|
for comp in components:
|
|
|
|
if comp:
|
1999-03-12 14:31:10 +00:00
|
|
|
path = path + '\\' + urllib.unquote(comp)
|
1996-06-26 19:47:56 +00:00
|
|
|
return path
|
|
|
|
|
|
|
|
def pathname2url(p):
|
2000-05-30 13:25:35 +00:00
|
|
|
r"""Convert a DOS path name to a file url.
|
|
|
|
|
1996-06-26 19:47:56 +00:00
|
|
|
C:\foo\bar\spam.foo
|
|
|
|
|
|
|
|
becomes
|
|
|
|
|
|
|
|
///C|/foo/bar/spam.foo
|
|
|
|
"""
|
|
|
|
|
1999-03-12 14:31:10 +00:00
|
|
|
import string, urllib
|
1997-08-12 14:47:24 +00:00
|
|
|
if not ':' in p:
|
1999-03-12 14:31:10 +00:00
|
|
|
# No drive specifier, just convert slashes and quote the name
|
1999-03-18 14:21:41 +00:00
|
|
|
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
|
1999-03-12 14:31:10 +00:00
|
|
|
components = string.split(p, '\\')
|
|
|
|
return urllib.quote(string.join(components, '/'))
|
|
|
|
comp = string.split(p, ':')
|
1996-06-26 19:47:56 +00:00
|
|
|
if len(comp) != 2 or len(comp[0]) > 1:
|
|
|
|
error = 'Bad path: ' + p
|
|
|
|
raise IOError, error
|
|
|
|
|
1999-03-12 14:31:10 +00:00
|
|
|
drive = urllib.quote(string.upper(comp[0]))
|
|
|
|
components = string.split(comp[1], '\\')
|
1996-06-26 19:47:56 +00:00
|
|
|
path = '///' + drive + '|'
|
|
|
|
for comp in components:
|
|
|
|
if comp:
|
1999-03-12 14:31:10 +00:00
|
|
|
path = path + '/' + urllib.quote(comp)
|
1996-06-26 19:47:56 +00:00
|
|
|
return path
|