def url_to_path(url):
 assert url.startswith('file:'), ('You can only turn file: urls into filenames (not %r)' % url)
 (_, netloc, path, _, _) = urllib_parse.urlsplit(url)
 if netloc:
  netloc = ('\\\\' + netloc)
 path = urllib_request.url2pathname((netloc + path))
 return path

def url_to_path ( url ) : assert url . startswith ( 'file:' ) , ( 'You can only turn file: urls into filenames (not %r)' % url ) ( _ , netloc , path , _ , _ ) = urllib_parse . urlsplit ( url ) if netloc : netloc = ( '\\\\' + netloc ) path = urllib_request . url2pathname ( ( netloc + path ) ) return path
convert a file: url to a path .