diff options
author | Andrew Morgan <1342360+anoadragon453@users.noreply.github.com> | 2024-03-14 13:53:25 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-03-14 13:53:25 +0000 |
commit | 1c1b0bfa778e32bf740469b0a86be55102bc01b4 (patch) | |
tree | ac1d6f68a0f40bb957d578fadcf903c90155db63 /docs/usage | |
parent | Improve lock performance when a lot of locks are waiting (#16840) (diff) | |
download | synapse-1c1b0bfa778e32bf740469b0a86be55102bc01b4.tar.xz |
Add query to update local cache of a remote user's device list to docs (#16892)
Diffstat (limited to 'docs/usage')
-rw-r--r-- | docs/usage/administration/useful_sql_for_admins.md | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/usage/administration/useful_sql_for_admins.md b/docs/usage/administration/useful_sql_for_admins.md index 9f2cc9b957..41755cd3b6 100644 --- a/docs/usage/administration/useful_sql_for_admins.md +++ b/docs/usage/administration/useful_sql_for_admins.md @@ -205,3 +205,12 @@ SELECT user_id, device_id, user_agent, TO_TIMESTAMP(last_seen / 1000) AS "last_s FROM devices WHERE last_seen < DATE_PART('epoch', NOW() - INTERVAL '3 month') * 1000; ``` + +## Clear the cache of a remote user's device list + +Forces the resync of a remote user's device list - if you have somehow cached a bad state, and the remote server is +will not send out a device list update. +```sql +INSERT INTO device_lists_remote_resync +VALUES ('USER_ID', (EXTRACT(epoch FROM NOW()) * 1000)::BIGINT); +``` |