From 550afcdd50b2ba6a59aa162d9de423890b579faa Mon Sep 17 00:00:00 2001 From: Swrup Date: Fri, 18 Apr 2025 18:17:25 +0200 Subject: [PATCH] load home page on logout --- src/client/network.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/client/network.ml b/src/client/network.ml index a3e82b9..2ce9fb6 100644 --- a/src/client/network.ml +++ b/src/client/network.ml @@ -174,7 +174,9 @@ module POST = struct | Login -> send_data_update (Session_update v); Navigation.load Home - | Logout -> send_data_update (Session_update v) + | Logout -> + send_data_update (Session_update v); + Navigation.load Home | Delete _ -> ( let is_op = Int.equal v.id v.parent_t_id in match is_op with