Guido van Rossum | 746ea35 | 1996-06-26 19:47:56 +0000 | [diff] [blame] | 1 | # |
| 2 | # nturl2path convert a NT pathname to a file URL and |
| 3 | # vice versa |
| 4 | |
| 5 | def url2pathname(url): |
| 6 | """ Convert a URL to a DOS path... |
Guido van Rossum | 746ea35 | 1996-06-26 19:47:56 +0000 | [diff] [blame] | 7 | ///C|/foo/bar/spam.foo |
| 8 | |
| 9 | becomes |
| 10 | |
| 11 | C:\foo\bar\spam.foo |
| 12 | """ |
Guido van Rossum | 367ac80 | 1999-03-12 14:31:10 +0000 | [diff] [blame^] | 13 | import string, urllib |
Guido van Rossum | d510b72 | 1997-08-12 14:47:24 +0000 | [diff] [blame] | 14 | if not '|' in url: |
| 15 | # No drive specifier, just convert slashes |
Guido van Rossum | 367ac80 | 1999-03-12 14:31:10 +0000 | [diff] [blame^] | 16 | components = string.split(url, '/') |
| 17 | # make sure not to convert quoted slashes :-) |
| 18 | return urllib.unquote(string.join(components, '\\')) |
| 19 | comp = string.split(url, '|') |
Guido van Rossum | 746ea35 | 1996-06-26 19:47:56 +0000 | [diff] [blame] | 20 | if len(comp) != 2 or comp[0][-1] not in string.letters: |
| 21 | error = 'Bad URL: ' + url |
| 22 | raise IOError, error |
| 23 | drive = string.upper(comp[0][-1]) |
Guido van Rossum | 367ac80 | 1999-03-12 14:31:10 +0000 | [diff] [blame^] | 24 | components = string.split(comp[1], '/') |
Guido van Rossum | 746ea35 | 1996-06-26 19:47:56 +0000 | [diff] [blame] | 25 | path = drive + ':' |
| 26 | for comp in components: |
| 27 | if comp: |
Guido van Rossum | 367ac80 | 1999-03-12 14:31:10 +0000 | [diff] [blame^] | 28 | path = path + '\\' + urllib.unquote(comp) |
Guido van Rossum | 746ea35 | 1996-06-26 19:47:56 +0000 | [diff] [blame] | 29 | return path |
| 30 | |
| 31 | def pathname2url(p): |
| 32 | |
| 33 | """ Convert a DOS path name to a file url... |
Guido van Rossum | 746ea35 | 1996-06-26 19:47:56 +0000 | [diff] [blame] | 34 | C:\foo\bar\spam.foo |
| 35 | |
| 36 | becomes |
| 37 | |
| 38 | ///C|/foo/bar/spam.foo |
| 39 | """ |
| 40 | |
Guido van Rossum | 367ac80 | 1999-03-12 14:31:10 +0000 | [diff] [blame^] | 41 | import string, urllib |
Guido van Rossum | d510b72 | 1997-08-12 14:47:24 +0000 | [diff] [blame] | 42 | if not ':' in p: |
Guido van Rossum | 367ac80 | 1999-03-12 14:31:10 +0000 | [diff] [blame^] | 43 | # No drive specifier, just convert slashes and quote the name |
| 44 | components = string.split(p, '\\') |
| 45 | return urllib.quote(string.join(components, '/')) |
| 46 | comp = string.split(p, ':') |
Guido van Rossum | 746ea35 | 1996-06-26 19:47:56 +0000 | [diff] [blame] | 47 | if len(comp) != 2 or len(comp[0]) > 1: |
| 48 | error = 'Bad path: ' + p |
| 49 | raise IOError, error |
| 50 | |
Guido van Rossum | 367ac80 | 1999-03-12 14:31:10 +0000 | [diff] [blame^] | 51 | drive = urllib.quote(string.upper(comp[0])) |
| 52 | components = string.split(comp[1], '\\') |
Guido van Rossum | 746ea35 | 1996-06-26 19:47:56 +0000 | [diff] [blame] | 53 | path = '///' + drive + '|' |
| 54 | for comp in components: |
| 55 | if comp: |
Guido van Rossum | 367ac80 | 1999-03-12 14:31:10 +0000 | [diff] [blame^] | 56 | path = path + '/' + urllib.quote(comp) |
Guido van Rossum | 746ea35 | 1996-06-26 19:47:56 +0000 | [diff] [blame] | 57 | return path |