Correction: Standards.URI.http_encode does not encode any 8-bit chars, the unused Standards.URI.quote does.
Hm, don't you mean the other way around?
Pike v7.7 release 87 running Hilfe v3.5 (Incremental Pike Frontend)
Standards.URI("http://www.roxen.com/%22)-%3Equote(%22r%C3%A4ksm%C3%B6rg%C3%A5s");
(1) Result: "r\344ksm\366rg\345s"
Standards.URI("http://www.roxen.com/%22)-%3Ehttp_encode(%22r%C3%A4ksm%C3%B6rg%C3%A5s");
(2) Result: "r%e4ksm%f6rg%e5s"
No, but I missed the "enumerate(0x81,1,0x7f)" in the http_encode implementation. The quote functions encodes some 8-bit chars too:
Standards.URI("http://x/%22)-%3Equote(%22%5C200");
(1) Result: "%80"
Right. Only non-printables though. This feels like a can of worms that someone ought to take outside and empty... :-)
pike-devel@lists.lysator.liu.se