- From: Brian E Carpenter <notifications@github.com>
- Date: Tue, 01 Nov 2022 12:31:46 -0700
- To: whatwg/url <url@noreply.github.com>
- Cc: Subscribed <subscribed@noreply.github.com>
Received on Tuesday, 1 November 2022 19:31:59 UTC
Thanks @karwa. I agree that any URI parser or decoder would have this problem, not just those in browsers. As soon as they have separated out the host part of the URI, any programmer will normalise the whole thing to lower case before analysing whether it's example.com, 1.2.3.4, [::abcd] or [::abcd%upper]. @DemiMarie is correct, I guess, that theoretically every parser *could* be hacked around to defer the normalisation but that is a big ask, whereas (from my experience with patching wget) the change as defined in the draft is quite straightforward. -- Reply to this email directly or view it on GitHub: https://github.com/whatwg/url/issues/392#issuecomment-1299012218 You are receiving this because you are subscribed to this thread. Message ID: <whatwg/url/issues/392/1299012218@github.com>
Received on Tuesday, 1 November 2022 19:31:59 UTC