From d0237eb8c49f1f75cef2b4331f54aa0444cedd2e Mon Sep 17 00:00:00 2001 From: Anne van Kesteren Date: Mon, 22 Jan 2024 14:58:12 +0100 Subject: [PATCH 1/2] Editorial: add a URL path concept This will be useful for a future version of the Cookies RFC. Closes #792. --- url.bs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/url.bs b/url.bs index b52060e..40664a6 100644 --- a/url.bs +++ b/url.bs @@ -1709,8 +1709,7 @@ null or a 16-bit unsigned integer that identifies a networking port. It is initi

A URL's path -is either a URL path segment or a list of zero or more URL path segments, -usually identifying a location. It is initially « ». +is a URL path, usually identifying a location. It is initially « ».

A special URL's path is always a list, i.e., it is never opaque. @@ -1782,6 +1781,9 @@ the blob URL store between parsing and fetching, while fetching will stil


+

A URL path is either a URL path segment or a list of +zero or more URL path segments. +

A URL path segment is an ASCII string. It commonly refers to a directory or a file, but has no predefined meaning. From c9b5b18196386b2e3e8d82fcd37d2f0ec95d9b2d Mon Sep 17 00:00:00 2001 From: Anne van Kesteren Date: Fri, 26 Jan 2024 09:37:46 +0100 Subject: [PATCH 2/2] Update url.bs --- url.bs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/url.bs b/url.bs index 40664a6..bdbca94 100644 --- a/url.bs +++ b/url.bs @@ -1781,8 +1781,8 @@ the blob URL store between parsing and fetching, while fetching will stil


-

A URL path is either a URL path segment or a list of -zero or more URL path segments. +

A URL path is either a URL path segment or a list of zero +or more URL path segments.

A URL path segment is an ASCII string. It commonly refers to a directory or a file, but has no predefined meaning.