229
230
def win32_local_path_from_url(url):
230
231
"""Convert a url like file:///C|/path/to/foo into C:/path/to/foo"""
238
239
raise InvalidURL(url, 'Win32 file urls start with file:///X|/, where X is a valid drive letter')
239
240
# TODO: jam 20060426, we could .upper() or .lower() the drive letter
240
241
# for better consistency.
244
245
# Default is to just use the python builtins