Always handle subscription IDs in session.unsubscribe if provided (#867)

* Always handle subscription IDs in session.unsubscribe if provided * add a note
w3c · Jan 24, 2025 · 1d0fcc1 · 1d0fcc1
1 parent d11969b
commit 1d0fcc1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/index.bs b/index.bs
@@ -2102,7 +2102,9 @@ and will be removed in the future versions.
 <div algorithm="remote end steps for session.unsubscribe">
 The [=remote end steps=] with |session| and |command parameters| are:
 
-1. If |command parameters| matches the <code>session.UnsubscribeByAttributesRequest</code> production:
+1. If |command parameters| does not [=map/contain=] "<code>subscriptions</code>":
+
+   Note: The condition implies that |command parameters| is matching the session.UnsubscribeByAttributesRequest production.
 
    1. Let |event names| be an empty [=/set=].