diff options
author | Erik Johnston <erik@matrix.org> | 2020-09-10 13:24:43 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-10 13:24:43 +0100 |
commit | 5d3e306d9f6ee48ff76dad8eee0be39bb1df5b08 (patch) | |
tree | 7f11567cc25c8ab4ede832127b4203b557f02d42 /mypy.ini | |
parent | Show a confirmation page during user password reset (#8004) (diff) | |
download | synapse-5d3e306d9f6ee48ff76dad8eee0be39bb1df5b08.tar.xz |
Clean up `Notifier.on_new_room_event` code path (#8288)
The idea here is that we pass the `max_stream_id` to everything, and only use the stream ID of the particular event to figure out *when* the max stream position has caught up to the event and we can notify people about it. This is to maintain the distinction between the position of an item in the stream (i.e. event A has stream ID 513) and a token that can be used to partition the stream (i.e. give me all events after stream ID 352). This distinction becomes important when the tokens are more complicated than a single number, which they will be once we start tracking the position of multiple writers in the tokens. The valid operations here are: 1. Is a position before or after a token 2. Fetching all events between two tokens 3. Merging multiple tokens to get the "max", i.e. `C = max(A, B)` means that for all positions P where P is before A *or* before B, then P is before C. Future PR will change the token type to a dedicated type.
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions