<div>On Tue, Oct 23, 2012 at 9:12 AM, Steven Penny <span dir="ltr"><<a href="mailto:svnpenn@gmail.com" target="_blank">svnpenn@gmail.com</a>></span> wrote: <br></div><blockquote style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex" class="gmail_quote">
-               /* skip extension */<br>
-               if (subExt && p == ext) {<br>
-                       p += 4;<br>
-                       pplen -= 4;<br>
-                       continue;<br>
-               }<br></blockquote><div> </div>Please be careful not to break things.<br><br>Anyways, the proper behavior is to actually *NOT* do any urldecoding. The %xx should be sent to the server as-is. This is what the Flash Player does and is the same as how normal HTTP clients handle URLs.<br>