From ef6aa6b557341bcf38b92c646d38b79316e40efc Mon Sep 17 00:00:00 2001 From: Ade Bateman Date: Thu, 20 Apr 2017 07:26:39 -0700 Subject: [PATCH 1/2] If URL parsing fails then always fail to match URLs. Fixes #27. Fixes #8. --- index.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/index.html b/index.html index 3d715d9..eb54ce1 100644 --- a/index.html +++ b/index.html @@ -200,16 +200,16 @@

  • Let urlA be the result from the URL parser when parsing A with no base URL.
    • -
  • If either urlA.query or urlA.fragment are not - null terminate the algorithm with a result of no - match and discard A from further matching. +
  • If the URL parser throws or if either urlA.query + or urlA.fragment are not null terminate the algorithm + with a result of no match and discard A from further matching.
  • Let urlB be the result from the URL parser when parsing B with no base URL.
    • -
  • If either urlB.query or urlB.fragment are not - null terminate the algorithm with a result of no - match and discard B from further matching. +
  • If the URL parser throws or if either urlB.query + or urlB.fragment are not null terminate the algorithm + with a result of no match and discard B from further matching.
  • The identifiers match if urlA equals urlB using the URL equivalence test (i.e. the test From f7f87d9d69194e196ca9fda474c55ea3babc5563 Mon Sep 17 00:00:00 2001 From: Ade Bateman Date: Thu, 20 Apr 2017 07:57:35 -0700 Subject: [PATCH 2/2] Run tidy. --- index.html | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/index.html b/index.html index eb54ce1..e5485ee 100644 --- a/index.html +++ b/index.html @@ -201,15 +201,17 @@

    parsing A with no base URL.

  • If the URL parser throws or if either urlA.query - or urlA.fragment are not null terminate the algorithm - with a result of no match and discard A from further matching. + or urlA.fragment are not null terminate the + algorithm with a result of no match and discard A + from further matching.
  • Let urlB be the result from the URL parser when parsing B with no base URL.
  • If the URL parser throws or if either urlB.query - or urlB.fragment are not null terminate the algorithm - with a result of no match and discard B from further matching. + or urlB.fragment are not null terminate the + algorithm with a result of no match and discard B + from further matching.
  • The identifiers match if urlA equals urlB using the URL equivalence test (i.e. the test