Erik Johnston 4b17a5ace8

Handle remote device list updates during partial join (#13913) ...

c.f. #12993 (comment), point 3

This stores all device list updates that we receive while partial joins are ongoing, and processes them once we have the full state.

Note: We don't actually process the device lists in the same ways as if we weren't partially joined. Instead of updating the device list remote cache, we simply notify local users that a change in the remote user's devices has happened. I think this is safe as if the local user requests the keys for the remote user and we don't have them we'll simply fetch them as normal.

2022-09-28 13:42:43 +00:00

..

main

Handle remote device list updates during partial join (#13913)

2022-09-28 13:42:43 +00:00

state

Cancel the processing of key query requests when they time out. (#13680)

2022-09-07 12:03:32 +01:00

__init__.py

Ensure that get_datastores().main is typed (#12070)

2022-02-25 10:20:40 +00:00