Guido van Rossum | aad6761 | 2000-05-08 17:31:04 +0000 | [diff] [blame] | 1 | """Convert a NT pathname to a file URL and vice versa.""" |
Guido van Rossum | 5c97167 | 1996-07-22 15:23:25 +0000 | [diff] [blame] | 2 | |
| 3 | def url2pathname(url): |
Guido van Rossum | 3e06ab1 | 2000-06-29 19:35:29 +0000 | [diff] [blame^] | 4 | r"""Convert a URL to a DOS path. |
| 5 | |
Guido van Rossum | 5c97167 | 1996-07-22 15:23:25 +0000 | [diff] [blame] | 6 | ///C|/foo/bar/spam.foo |
| 7 | |
| 8 | becomes |
| 9 | |
| 10 | C:\foo\bar\spam.foo |
| 11 | """ |
Guido van Rossum | 9a744a9 | 1999-04-08 20:27:54 +0000 | [diff] [blame] | 12 | import string, urllib |
Guido van Rossum | ff712aa | 1997-08-15 00:45:26 +0000 | [diff] [blame] | 13 | if not '|' in url: |
| 14 | # No drive specifier, just convert slashes |
Guido van Rossum | 9a744a9 | 1999-04-08 20:27:54 +0000 | [diff] [blame] | 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:] |
| 20 | components = string.split(url, '/') |
| 21 | # make sure not to convert quoted slashes :-) |
| 22 | return urllib.unquote(string.join(components, '\\')) |
| 23 | comp = string.split(url, '|') |
Guido van Rossum | 5c97167 | 1996-07-22 15:23:25 +0000 | [diff] [blame] | 24 | if len(comp) != 2 or comp[0][-1] not in string.letters: |
| 25 | error = 'Bad URL: ' + url |
| 26 | raise IOError, error |
| 27 | drive = string.upper(comp[0][-1]) |
Guido van Rossum | 9a744a9 | 1999-04-08 20:27:54 +0000 | [diff] [blame] | 28 | components = string.split(comp[1], '/') |
Guido van Rossum | 5c97167 | 1996-07-22 15:23:25 +0000 | [diff] [blame] | 29 | path = drive + ':' |
| 30 | for comp in components: |
| 31 | if comp: |
Guido van Rossum | 9a744a9 | 1999-04-08 20:27:54 +0000 | [diff] [blame] | 32 | path = path + '\\' + urllib.unquote(comp) |
Guido van Rossum | 5c97167 | 1996-07-22 15:23:25 +0000 | [diff] [blame] | 33 | return path |
| 34 | |
| 35 | def pathname2url(p): |
Guido van Rossum | 3e06ab1 | 2000-06-29 19:35:29 +0000 | [diff] [blame^] | 36 | r"""Convert a DOS path name to a file url. |
| 37 | |
Guido van Rossum | 5c97167 | 1996-07-22 15:23:25 +0000 | [diff] [blame] | 38 | C:\foo\bar\spam.foo |
| 39 | |
| 40 | becomes |
| 41 | |
| 42 | ///C|/foo/bar/spam.foo |
| 43 | """ |
| 44 | |
Guido van Rossum | 9a744a9 | 1999-04-08 20:27:54 +0000 | [diff] [blame] | 45 | import string, urllib |
Guido van Rossum | ff712aa | 1997-08-15 00:45:26 +0000 | [diff] [blame] | 46 | if not ':' in p: |
Guido van Rossum | 9a744a9 | 1999-04-08 20:27:54 +0000 | [diff] [blame] | 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 |
| 53 | components = string.split(p, '\\') |
| 54 | return urllib.quote(string.join(components, '/')) |
| 55 | comp = string.split(p, ':') |
Guido van Rossum | 5c97167 | 1996-07-22 15:23:25 +0000 | [diff] [blame] | 56 | if len(comp) != 2 or len(comp[0]) > 1: |
| 57 | error = 'Bad path: ' + p |
| 58 | raise IOError, error |
| 59 | |
Guido van Rossum | 9a744a9 | 1999-04-08 20:27:54 +0000 | [diff] [blame] | 60 | drive = urllib.quote(string.upper(comp[0])) |
| 61 | components = string.split(comp[1], '\\') |
Guido van Rossum | 5c97167 | 1996-07-22 15:23:25 +0000 | [diff] [blame] | 62 | path = '///' + drive + '|' |
| 63 | for comp in components: |
| 64 | if comp: |
Guido van Rossum | 9a744a9 | 1999-04-08 20:27:54 +0000 | [diff] [blame] | 65 | path = path + '/' + urllib.quote(comp) |
Guido van Rossum | 5c97167 | 1996-07-22 15:23:25 +0000 | [diff] [blame] | 66 | return path |