From ee010f56b8d3afe4bde10a8d9d0daed36fcb8462 Mon Sep 17 00:00:00 2001 From: Swrup Date: Fri, 1 Apr 2022 05:35:33 +0200 Subject: [PATCH] invalidate session after account delete --- src/permap.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/permap.ml b/src/permap.ml index 8f0312d..10021e6 100644 --- a/src/permap.ml +++ b/src/permap.ml @@ -207,7 +207,9 @@ let account_post request = (*TODO ask for confirmation *) let res = Result.fold ~error:Fun.id - ~ok:(fun () -> "Your account was deleted") + ~ok:(fun () -> + let _unit_lwt = Dream.invalidate_session request in + "Your account was deleted" ) (User.delete_user user_id) in render_unsafe res request