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

add private profile page

Browse source
This commit is contained in:
pena 2021-11-07 10:32:17 +01:00 • committed by Swrup
parent 75196df7ea
commit 4105d0a988
2 changed files with 10 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/permap.ml
View file

@ -60,13 +60,15 @@ let login_post request =
let user request = render_unsafe (User.list ()) request
let user_profile request = render_unsafe (User.profile request) request
let user_profile request = render_unsafe (User.public_profile request) request
let logout request =
let _ = Dream.invalidate_session request in
let content = "Logged out !" in
render_unsafe content request
let profile request = render_unsafe (User.profile request) request
let () =
Dream.run @@ Dream.logger @@ Dream.memory_sessions
@@ Dream.router
@ -79,5 +81,6 @@ let () =
; Dream.get "/user" user
; Dream.get "/user/:user" user_profile
; Dream.get "/logout" logout
; Dream.get "/profile" profile
]
@@ Dream.not_found