Skip to content
This repository has been archived by the owner on Apr 26, 2024. It is now read-only.

Handle the case of remote users leaving a partial join room for device lists #13885

Merged
merged 6 commits into from
Sep 27, 2022
Merged

Handle the case of remote users leaving a partial join room for device lists #13885

merged 6 commits into from
Sep 27, 2022

Commits on Sep 23, 2022

  1. Add _txn versions of a couple of functions

    @erikjohnston
    erikjohnston committed Sep 23, 2022
    Configuration menu
    Copy the full SHA
    f1d263a View commit details
    Browse the repository at this point in the history

  2. Add a handle_potentially_left_users_txn

    @erikjohnston
    erikjohnston committed Sep 23, 2022
    Configuration menu
    Copy the full SHA
    859a5e6 View commit details
    Browse the repository at this point in the history

  3. Move handling of potentially left users into update_current_state 

    This has two benefits: a) we handle left users in the same transaction
as updating the state, avoiding races, and b) correctly takes care of
the case where we go from partial to full state in the room.
    @erikjohnston
    erikjohnston committed Sep 23, 2022
    Configuration menu
    Copy the full SHA
    0ba1584 View commit details
    Browse the repository at this point in the history

  4. Newsfile

    @erikjohnston
    erikjohnston committed Sep 23, 2022
    Configuration menu
    Copy the full SHA
    b3eac3d View commit details
    Browse the repository at this point in the history

  5. Lint

    @erikjohnston
    erikjohnston committed Sep 23, 2022
    Configuration menu
    Copy the full SHA
    24c2c2d View commit details
    Browse the repository at this point in the history

  6. Fix incorrect if

    @erikjohnston
    erikjohnston committed Sep 23, 2022
    Configuration menu
    Copy the full SHA
    d573693 View commit details
    Browse the repository at this point in the history