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

set up user session on login

Browse source
This commit is contained in:
pena 2021-11-07 10:21:01 +01:00 • committed by Swrup
parent b2ecec7808
commit c7aa8aaad7
4 changed files with 27 additions and 15 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/template.eml.html
View file

@ -1,4 +1,4 @@
let render_unsafe ~title ~content =
let render_unsafe ~title ~content request =
<!DOCTYPE html>
<html lang="en">
<head>
@ -20,12 +20,19 @@ let render_unsafe ~title ~content =
<li class="nav-item">
<a class="nav-link" href="/">Home</a>
</li>
% begin match Dream.session "nick" request with
% | None ->
<li class="nav-item">
<a class="nav-link" href="/register">Register</a>
</li>
<li class="nav-item">
<a class="nav-link" href="/login">Login</a>
</li>
% | Some nick ->
<li class="nav-item">
<a class="nav-link" href="/profile"><%s! nick %></a>
</li>
% end;
<li class="nav-item">
<a class="nav-link" href="/user">Users</a>
</li>