swrup/geochan
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

load home page on logout

Browse source
This commit is contained in:
Swrup 2025-04-18 18:17:25 +02:00
parent 1093e3ee22
commit d77318d3fc
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/client/network.ml
View file

@ -174,7 +174,9 @@ module POST = struct
| Login -> | Login ->
send_data_update (Session_update v); send_data_update (Session_update v);
Navigation.load Home Navigation.load Home
| Logout -> send_data_update (Session_update v) | Logout ->
send_data_update (Session_update v);
Navigation.load Home
| Delete _ -> ( | Delete _ -> (
let is_op = Int.equal v.id v.parent_t_id in let is_op = Int.equal v.id v.parent_t_id in
match is_op with match is_op with