[top] / urllib / url2pathname
url2pathname(pathname)
OS-specific conversion from a relative URL of the file scheme to a file system path; not recommended for general use.
file