From 98f83d1d0cb0e2041bad994941c3607243e2dbd7 Mon Sep 17 00:00:00 2001
From: strawberry <strawberry@puppygock.gay>
Date: Tue, 9 Jan 2024 19:28:17 -0500
Subject: [PATCH] update device lists for user upon logout

Signed-off-by: strawberry <strawberry@puppygock.gay>
---
 src/api/client_server/session.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/api/client_server/session.rs b/src/api/client_server/session.rs
index cdc20174..f028cf93 100644
--- a/src/api/client_server/session.rs
+++ b/src/api/client_server/session.rs
@@ -185,6 +185,9 @@ pub async fn logout_route(body: Ruma<logout::v3::Request>) -> Result<logout::v3:
 
     services().users.remove_device(sender_user, sender_device)?;
 
+    // send device list update for user after logout
+    services().users.mark_device_key_update(sender_user)?;
+
     Ok(logout::v3::Response::new())
 }
 
@@ -208,5 +211,8 @@ pub async fn logout_all_route(
         services().users.remove_device(sender_user, &device_id)?;
     }
 
+    // send device list update for user after logout
+    services().users.mark_device_key_update(sender_user)?;
+
     Ok(logout_all::v3::Response::new())
 }