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

add logout page

Browse source
This commit is contained in:
zapashcanon 2021-11-07 10:26:50 +01:00
parent f367d55b7c
commit 6172bc5bb4
No known key found for this signature in database
GPG key ID: 8981C3C62D1D28F1
2 changed files with 10 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/permap.ml
View file

@ -62,9 +62,13 @@ let user request = render_unsafe (User.list ()) request
let user_profile request = render_unsafe (User.profile request) request
let logout request =
let _ = Dream.invalidate_session request in
let content = "Logged out !" in
render_unsafe content request
let () =
Dream.run ~interface:"0.0.0.0"
@@ Dream.logger @@ Dream.memory_sessions
Dream.run @@ Dream.logger @@ Dream.memory_sessions
@@ Dream.router
[ Dream.get "/assets/**" (Dream.static ~loader:asset_loader "")
; Dream.get "/" homepage
@ -74,5 +78,6 @@ let () =
; Dream.post "/login" login_post
; Dream.get "/user" user
; Dream.get "/user/:user" user_profile
; Dream.get "/logout" logout
]
@@ Dream.not_found

3
src/template.eml.html
View file

@ -32,6 +32,9 @@ let render_unsafe ~title ~content request =
<li class="nav-item">
<a class="nav-link" href="/profile"><%s! nick %></a>
</li>
<li class="nav-item">
<a class="nav-link" href="/logout">Logout</a>
</li>
% end;
<li class="nav-item">
<a class="nav-link" href="/user">Users</a>