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