diff options
| author | tv <tv@krebsco.de> | 2026-11-09 15:32:08 +0000 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2026-11-09 18:16:51 +0100 |
| commit | 724f07a370ae2f76b2a5f882550f6d3490e62834 (patch) | |
| tree | c7189d04ff10f762468825f5b569772e209742a0 /src/api/dashboard/mod.rs | |
| parent | c4b33b9b4aff6129291021448ae21298049093ae (diff) | |
api: a stream listens for its token's end from before it is answered
Review 4, F9: a stream answered to a token subscribed to the document's changes only
when its body was first polled, and looked at the token only after a change came: one
revoking it that came between the request's check and the subscription (a node
applying what it was behind on) went unseen until the next change of protocol data, or
the token's expiry.
Now `streams_end` subscribes before the answer is made, and the token is looked at once
as the stream begins (`refused_now`, the document and this node's ended sessions), then
with every change of protocol data as before. A request that isn't answered with a
stream drops its subscription with the answer.
Diffstat (limited to 'src/api/dashboard/mod.rs')
0 files changed, 0 insertions, 0 deletions
