[Webkit-unassigned] [Bug 54271] safari-extension: scheme needs special case-sensitive treatment in KURL

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Fri Feb 11 08:23:03 PST 2011


https://bugs.webkit.org/show_bug.cgi?id=54271





--- Comment #7 from Adam Roben (aroben) <aroben at apple.com>  2011-02-11 08:23:03 PST ---
I guess Tim is arguing that the authority part of safari-extension: URLs falls under "Registry-based Naming Authority", not "Server-based Naming Authority". I think I agree with him. Here's my attempt to clarify the argument.

>From section 3.2 "Authority Component":

> Many URI schemes include a top hierarchical element for a naming
> authority, such that the namespace defined by the remainder of the
> URI is governed by that authority. 

This certainly applies to safari-extension: URLs.

> This authority component is typically defined by an Internet-based
> server or a scheme-specific registry of naming authorities.

safari-extension: URLs definitely don't use an "Internet-based server", and they do use a "scheme-specific registry of naming authorities".

In addition, section 3.2.2 "Server-based Naming Authority" specifically mentions "URL schemes that involve the direct use of an IP-based protocol to a specified server on the Internet", which does not describe safari-extension: URLs.

So, given that safari-extension: URLs do not use a server-based naming authority, what rules apply to their syntax? Section 3.2.1 "Registry-based Naming Authority" says only this:

> The structure of a registry-based naming authority is specific to the
> URI scheme, but constrained to the allowed characters for an
> authority component.
>
>    reg_name      = 1*( unreserved | escaped | "$" | "," |
>                        ";" | ":" | "@" | "&" | "=" | "+" )

Note that "hostname" isn't defined here at all; it's only defined for URIs that use a server-based naming authority. So presumably the prose in section 6 that mentions hostnames being case-insensitive doesn't apply here; safari-extension: URLs have no hostnames at all.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.



More information about the webkit-unassigned mailing list