Skip to content
Snippets Groups Projects
  1. Sep 15, 2020
  2. Sep 10, 2020
  3. Sep 08, 2020
  4. Sep 07, 2020
  5. Sep 04, 2020
  6. Aug 27, 2020
  7. Aug 13, 2020
  8. Jul 30, 2020
  9. Jul 28, 2020
  10. Jul 24, 2020
  11. Jun 10, 2020
  12. Jun 04, 2020
  13. May 22, 2020
    • Erik Johnston's avatar
      Add ability to wait for replication streams (#7542) · 1531b214
      Erik Johnston authored
      The idea here is that if an instance persists an event via the replication HTTP API it can return before we receive that event over replication, which can lead to races where code assumes that persisting an event immediately updates various caches (e.g. current state of the room).
      
      Most of Synapse doesn't hit such races, so we don't do the waiting automagically, instead we do so where necessary to avoid unnecessary delays. We may decide to change our minds here if it turns out there are a lot of subtle races going on.
      
      People probably want to look at this commit by commit.
      1531b214
  14. Apr 03, 2020
    • Richard van der Hoff's avatar
      Fix device list update stream ids going backward (#7158) · daa1ac89
      Richard van der Hoff authored
      Occasionally we could get a federation device list update transaction which
      looked like:
      
      ```
      [
          {'edu_type': 'm.device_list_update', 'content': {'user_id': '@user:test', 'device_id': 'D2', 'prev_id': [], 'stream_id': 12, 'deleted': True}},
          {'edu_type': 'm.device_list_update', 'content': {'user_id': '@user:test', 'device_id': 'D1', 'prev_id': [12], 'stream_id': 11, 'deleted': True}},
          {'edu_type': 'm.device_list_update', 'content': {'user_id': '@user:test', 'device_id': 'D3', 'prev_id': [11], 'stream_id': 13, 'deleted': True}}
      ]
      ```
      
      Having `stream_ids` which are lower than `prev_ids` looks odd. It might work
      (I'm not actually sure), but in any case it doesn't seem like a reasonable
      thing to expect other implementations to support.
      daa1ac89
  15. Mar 30, 2020
  16. Mar 27, 2020
  17. Mar 24, 2020
  18. Feb 21, 2020
  19. Feb 07, 2020
  20. Dec 04, 2019
  21. Nov 27, 2019
  22. Aug 20, 2019
  23. Jul 29, 2019
  24. Jun 20, 2019
  25. May 29, 2019
  26. May 10, 2019
  27. Mar 20, 2019
  28. Aug 10, 2018
  29. Jul 09, 2018
  30. Jul 04, 2018
  31. Jan 26, 2016
  32. Jan 07, 2016
  33. Nov 17, 2015
  34. Apr 01, 2015
  35. Feb 11, 2015
  36. Dec 18, 2014
  37. Dec 11, 2014
  38. Dec 09, 2014
  39. Nov 19, 2014
Loading