From b7642d3c545886bd07281bc3e2b85afba0b6b36e Mon Sep 17 00:00:00 2001 From: pena Date: Sun, 7 Nov 2021 22:49:48 +0100 Subject: [PATCH] use textarea for bio --- src/user_profile.eml.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/user_profile.eml.html b/src/user_profile.eml.html index 7ce5b87..aa8780c 100644 --- a/src/user_profile.eml.html +++ b/src/user_profile.eml.html @@ -1,9 +1,9 @@ let f ?bio request = % begin match Dream.session "nick" request with -% | None -> +% | None -> not logged in % | Some nick -> -%begin match bio with +%begin match bio with % | None -> % let bio = match User.get_bio nick with % | Ok bio -> bio @@ -13,16 +13,16 @@ not logged in <%s! Dream.form_tag ~action:"/profile" request %>
- +
Who are you?
-% | Some bio -> +% | Some bio -> % begin match User.update_bio bio nick with -% | Ok () -> +% | Ok () -> Bio updated ! -% | Error e -> +% | Error e -> <%s e %> % end; % end;