From 69aef5613671d24356759656cad5437d9f1ddd57 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 28 Oct 2024 16:49:23 +0100 Subject: [PATCH] Middleware: rename get_cookie_from_request to session_cookie --- middleware.ml | 4 ++-- unikernel.ml | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/middleware.ml b/middleware.ml index 29abced9..522da258 100644 --- a/middleware.ml +++ b/middleware.ml @@ -132,7 +132,7 @@ let user_from_auth_cookie cookie users = | Some user -> Ok user | None -> Error (`Msg "User not found") -let get_cookie_from_request reqd = +let session_cookie reqd = match cookie User_model.session_cookie reqd with | Some auth_cookie -> ( match cookie_value auth_cookie with @@ -146,7 +146,7 @@ let get_cookie_from_request reqd = Error (`Msg "User not found") let user_of_cookie users now reqd = - match get_cookie_from_request reqd with + match session_cookie reqd with | Ok auth_cookie -> ( match user_from_auth_cookie auth_cookie users with | Ok user -> ( diff --git a/unikernel.ml b/unikernel.ml index 75e8d661..c0549598 100644 --- a/unikernel.ml +++ b/unikernel.ml @@ -147,7 +147,7 @@ struct (fun reqd -> match Middleware.user_of_cookie users now reqd with | Ok user -> ( - match Middleware.get_cookie_from_request reqd with + match Middleware.session_cookie reqd with | Ok cookie_value -> ( match User_model.user_auth_cookie_from_user cookie_value user @@ -587,7 +587,7 @@ struct `OK) let account_page store reqd (user : User_model.user) = - match Middleware.get_cookie_from_request reqd with + match Middleware.session_cookie reqd with | Ok cookie_value -> ( match User_model.user_auth_cookie_from_user cookie_value user with | Some cookie -> ( @@ -711,7 +711,7 @@ struct ~data:"Update password: expected a dictionary" `Bad_request let close_sessions store reqd (user : User_model.user) = - match Middleware.get_cookie_from_request reqd with + match Middleware.session_cookie reqd with | Ok cookie_value -> ( match User_model.user_auth_cookie_from_user cookie_value user with | Some cookie -> (