[MPlayer-dev-eng] Re: [PATCH] fix for issue cant play filenames with spaces

[adland]

unsure how to word it

something like the following was my understanding.

example url = http://host/gotta give 100%.ogg
could be escaped by user on command line as

http://host/gotta%20give%20100%.ogg

when escaping this string
only the final % needs escaping because the others 
are already part of an escape sequence %20 for space
giving final escaped request of
http://host/gotta%20give%20100%25.ogg

the values to check for if next 2 chars are part of an escape sequence
 came from the url_unescape function in this file.

also if there are not 2 more characters past % it is not
part of an escape sequence

an example for this would be if you left the .ogg extension off

another example is if you actually have a file without spaces named
http://host/gotta%20give%20100%
mplayer argument would then have to be used like below
http://host/gotta%2520give%2520100% if sent to a server
but gotta%20give%20100% if local file

this seems to work with my tests.

the % character was not escaped at all before the recent change.

I dont claim to be an expert or to have read any specs about this however.