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

[Moritz Bunkus]

Hi,

> Am I missing something?

Yes, usability. Other guys have solved this problem before! You can hand
a web browser an URL that's encoded or that's not encoded and it will do
the Right Thing. The URL escape function should only try to escape '%'
if there's no valid escape sequence following. This will only break if
the target is named stupidly, e.g. if a file contains a valid encoded
(!) sequence like 'a%20.html' (literally). The URL for that must read
.../a%2520.html. So here a '-encodeurl' option might be necessary in
order to force the encoding of EVERY special character. But for > 99% of
all cases the other way should be enough.

Mosu

-- 
If Darl McBride was in charge, he'd probably make marriage
unconstitutional too, since clearly it de-emphasizes the commercial
nature of normal human interaction, and probably is a major impediment
to the commercial growth of prostitution. - Linus Torvalds