From c3a2fba8096502a6e8e4c613eeb9be133711dc0c Mon Sep 17 00:00:00 2001 From: Cedric RICARD Date: Sat, 10 Nov 2007 20:40:59 +0000 Subject: [PATCH] Adding action name on lost and expired states handlers. --- calexium_lib/web/CXM_making_a_web_site.anubis | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/calexium_lib/web/CXM_making_a_web_site.anubis b/calexium_lib/web/CXM_making_a_web_site.anubis index e1b1da9..64f3e73 100644 --- a/calexium_lib/web/CXM_making_a_web_site.anubis +++ b/calexium_lib/web/CXM_making_a_web_site.anubis @@ -2132,10 +2132,12 @@ public define Web_Site List(Web_arg), Bool is_https) -> (Maybe($SessionTicket), Maybe($State), List(HTTP_header)) initial_state, ($State expired, + Maybe(String), HTTP_Info, List(Web_arg), Bool is_https) -> (Maybe($SessionTicket), Maybe($State), List(HTTP_header)) ticket_expired_state, - (HTTP_Info, + (Maybe(String), + HTTP_Info, List(Web_arg), Bool is_https) -> (Maybe($SessionTicket), Maybe($State), List(HTTP_header)) ticket_lost_state, List(Web_Action($SessionTicket, $State)) actions, @@ -2195,11 +2197,11 @@ public define Web_Site { failure then initial_state(http_info, operands, is_https), success(_) then - ticket_lost_state(http_info,operands,is_https) + ticket_lost_state(mb_action_name, http_info,operands,is_https) }, out_of_date(state) then - ticket_expired_state(state,http_info,operands,is_https), + ticket_expired_state(state, mb_action_name, http_info,operands,is_https), still_valid(state) then if mb_action_name is -- libgit2 0.21.4