def url_to_path(url):<EOL>
assert url.startswith('<STR_LIT>'), (<EOL>"<STR_LIT>" % url)<EOL>_, netloc, path, _, _ = urllib_parse.urlsplit(url)<EOL>if netloc:<EOL><INDENT>netloc = '<STR_LIT>' + netloc<EOL><DEDENT>path = urllib_request.url2pathname(netloc + path)<EOL>return path<EOL>
Convert a file: URL to a path.