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

clean code

Browse source
This commit is contained in:
pena 2022-12-06 01:00:39 +01:00 • committed by Swrup
parent 9b1dbda081
commit 238e6fba75
10 changed files with 46 additions and 27 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/logout.ml Normal file
View file

@ -0,0 +1,8 @@
open Syntax
let get request =
let** () = User.asserd_logged request in
let title = "Logout" in
let%lwt () = Dream.invalidate_session request in
let page = Tyxml.Html.txt "logged out" in
Template.render ~title ~scripts:[] page