[MPlayer-users] file:// URL percent escaping - not recognized

[John Karp]

Hi,

I have no trouble running:
mplayer file:///home/johnkarp/video/name\ with\ spaces.mpeg
or
mplayer "file:///home/johnkarp/video/name with spaces.mpeg"

Note the spaces -- according to RFC 1738, all spaces must be percent-escaped.

Now, when I give mplayer a file:// URL with properly-escaped spaces:
mplayer "file:///home/johnkarp/video/name%20with%20spaces.mpeg"
it does not work:
Playing file:///home/johnkarp/video/name%20with%20spaces.mpeg.
File not found: '/home/johnkarp/video/name%20with%20spaces.mpeg'
Failed to open file:///home/johnkarp/video/name%20with%20spaces.mpeg

I think it represents a bug in mplayer if it cannot handle
correctly-formed file:// URLs. As far as I can tell, the only
workaround is to use badly-formed file:// URLs. Can this be fixed,
assuming this is mplayer's fault?

(I have tried mplayer snapshot versions 1.0.20060217 and 1.0.20060408)

Thanks,
John Karp