synapse-old/synapse/push
Erik Johnston 5d3e306d9f
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.
2020-09-10 13:24:43 +01:00
..
__init__.py Remove code that's now been obsoleted or moved elsewhere 2016-04-07 16:31:38 +01:00
action_generator.py Stop sub-classing object (#8249) 2020-09-04 06:54:56 -04:00
baserules.py Incorporate review 2020-08-06 10:52:26 +01:00
bulk_push_rule_evaluator.py Only add rows to the push actions table if the event notifies or should be marked unread (#8274) 2020-09-07 16:56:27 +01:00
clientformat.py Run Black. (#5482) 2019-06-20 19:32:02 +10:00
emailpusher.py Fixup pusher pool notifications (#8287) 2020-09-09 16:56:08 +01:00
httppusher.py Fixup pusher pool notifications (#8287) 2020-09-09 16:56:08 +01:00
mailer.py Show a confirmation page during user password reset (#8004) 2020-09-10 11:45:12 +01:00
presentable_names.py Convert push to async/await. (#7948) 2020-07-27 12:21:34 -04:00
push_rule_evaluator.py Stop sub-classing object (#8249) 2020-09-04 06:54:56 -04:00
push_tools.py Unread counts fixes (#8254) 2020-09-04 14:14:22 +01:00
pusher.py Stop sub-classing object (#8249) 2020-09-04 06:54:56 -04:00
pusherpool.py Clean up `Notifier.on_new_room_event` code path (#8288) 2020-09-10 13:24:43 +01:00
rulekinds.py Run Black. (#5482) 2019-06-20 19:32:02 +10:00