0
0
mirror of https://github.com/python/cpython.git synced 2024-12-01 11:15:56 +01:00
cpython/Lib/nturl2path.py

67 lines
2.0 KiB
Python
Raw Normal View History

"""Convert a NT pathname to a file URL and vice versa."""
1996-06-26 21:47:56 +02:00
def url2pathname(url):
2001-01-15 01:50:52 +01:00
r"""Convert a URL to a DOS path.
2001-01-15 01:50:52 +01:00
///C|/foo/bar/spam.foo
1996-06-26 21:47:56 +02:00
2001-01-15 01:50:52 +01:00
becomes
1996-06-26 21:47:56 +02:00
2001-01-15 01:50:52 +01: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 12:10:16 +01:00
components = url.split('/')
2001-01-15 01:50:52 +01:00
# make sure not to convert quoted slashes :-)
2001-02-09 12:10:16 +01:00
return urllib.unquote('\\'.join(components))
comp = url.split('|')
if len(comp) != 2 or comp[0][-1] not in string.ascii_letters:
2001-01-15 01:50:52 +01:00
error = 'Bad URL: ' + url
raise IOError, error
2001-02-09 12:10:16 +01:00
drive = comp[0][-1].upper()
components = comp[1].split('/')
2001-01-15 01:50:52 +01:00
path = drive + ':'
for comp in components:
if comp:
path = path + '\\' + urllib.unquote(comp)
return path
1996-06-26 21:47:56 +02:00
def pathname2url(p):
2001-01-15 01:50:52 +01:00
r"""Convert a DOS path name to a file url.
2001-01-15 01:50:52 +01:00
C:\foo\bar\spam.foo
1996-06-26 21:47:56 +02:00
2001-01-15 01:50:52 +01:00
becomes
1996-06-26 21:47:56 +02:00
2001-01-15 01:50:52 +01:00
///C|/foo/bar/spam.foo
"""
1996-06-26 21:47:56 +02:00
import urllib
2001-01-15 01:50:52 +01: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 12:10:16 +01:00
components = p.split('\\')
return urllib.quote('/'.join(components))
comp = p.split(':')
2001-01-15 01:50:52 +01:00
if len(comp) != 2 or len(comp[0]) > 1:
error = 'Bad path: ' + p
raise IOError, error
1996-06-26 21:47:56 +02:00
2001-02-09 12:10:16 +01:00
drive = urllib.quote(comp[0].upper())
components = comp[1].split('\\')
2001-01-15 01:50:52 +01:00
path = '///' + drive + '|'
for comp in components:
if comp:
path = path + '/' + urllib.quote(comp)
return path