From 517acbce9dcd08919db2cc9d00142ab9f2250c60 Mon Sep 17 00:00:00 2001 From: Dillon Kearns Date: Tue, 9 Aug 2022 06:36:45 -0700 Subject: [PATCH] Use new action setup for logout handler. --- examples/end-to-end/app/Route/Logout.elm | 29 +++++++++++++----------- 1 file changed, 16 insertions(+), 13 deletions(-) diff --git a/examples/end-to-end/app/Route/Logout.elm b/examples/end-to-end/app/Route/Logout.elm index 2b1ea05f..a7caa12f 100644 --- a/examples/end-to-end/app/Route/Logout.elm +++ b/examples/end-to-end/app/Route/Logout.elm @@ -1,7 +1,6 @@ module Route.Logout exposing (ActionData, Data, Model, Msg, route) import DataSource exposing (DataSource) -import Dict import ErrorPage exposing (ErrorPage) import Head import Head.Seo as Seo @@ -9,6 +8,7 @@ import MySession import Pages.Msg import Pages.PageUrl exposing (PageUrl) import Pages.Url +import Route import RouteBuilder exposing (StatefulRoute, StatelessRoute, StaticPayload) import Server.Request as Request import Server.Response as Response exposing (Response) @@ -38,28 +38,31 @@ route = RouteBuilder.serverRender { head = head , data = data - , action = \_ -> Request.skip "No action." + , action = action } |> RouteBuilder.buildNoState { view = view } +action : RouteParams -> Request.Parser (DataSource (Response ActionData ErrorPage)) +action _ = + MySession.withSession + (Request.succeed ()) + (\_ _ -> + ( Session.empty + |> Session.withFlash "message" "You have been successfully logged out." + , Route.redirectTo Route.Login + ) + |> DataSource.succeed + ) + + type alias Data = {} data : RouteParams -> Request.Parser (DataSource (Response Data ErrorPage)) data routeParams = - Request.oneOf - [ MySession.withSession - (Request.acceptMethod ( Request.Post, [] ) (Request.succeed ())) - (\_ _ -> - ( Session.empty - |> Session.withFlash "message" "You have been successfully logged out." - , Response.temporaryRedirect "/login" - ) - |> DataSource.succeed - ) - ] + Request.succeed (DataSource.succeed (Response.render {})) head :