mirror of
https://mau.dev/maunium/synapse.git
synced 2024-10-01 01:36:05 -04:00
5d3e306d9f
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. |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| action_generator.py | ||
| baserules.py | ||
| bulk_push_rule_evaluator.py | ||
| clientformat.py | ||
| emailpusher.py | ||
| httppusher.py | ||
| mailer.py | ||
| presentable_names.py | ||
| push_rule_evaluator.py | ||
| push_tools.py | ||
| pusher.py | ||
| pusherpool.py | ||
| rulekinds.py | ||