Skip to content

Commit

Permalink
Update index.bs
Browse files Browse the repository at this point in the history
Co-authored-by: jgraham <[email protected]>
  • Loading branch information
OrKoN and jgraham committed Dec 20, 2024
1 parent 1bc84b5 commit 58d2241
Showing 1 changed file with 14 additions and 14 deletions.
28 changes: 14 additions & 14 deletions index.bs
Original file line number Diff line number Diff line change
Expand Up @@ -1442,21 +1442,8 @@ time. However they are not required to remove such [=user contexts=]. [=User
contexts=] that are not [=empty user contexts=] must not be removed from the
[=set of user contexts=].

<div algorithm>
To <dfn export>get user context</dfn> given |user context id|:

1. For each |user context| in the [=set of user contexts=]:

1. If |user context|'s [=user context id=] equals |user context id|:

1. Return |user context|.

1. Return null.

</div>

When a [=user context=] is [=set/remove|removed=] from the
[=set of user contexts=], [=remove user context subscriptions=]:
[=set of user contexts=], [=remove user context subscriptions=].

<div algorithm>

Expand All @@ -1480,6 +1467,19 @@ To <dfn export>remove user context subscriptions</dfn>:

</div>

<div algorithm>
To <dfn export>get user context</dfn> given |user context id|:

1. For each |user context| in the [=set of user contexts=]:

1. If |user context|'s [=user context id=] equals |user context id|:

1. Return |user context|.

1. Return null.

</div>

# Modules # {#modules}

## The session Module ## {#module-session}
Expand Down

0 comments on commit 58d2241

Please sign in to comment.