Anubis / Xlib

Commit c3a2fba8096502a6e8e4c613eeb9be133711dc0c

Authored by Cédric RICARD
1 parent f3af0d6f

Adding action name on lost and expired states handlers.

Showing 1 changed file with 5 additions and 3 deletions   Show diff stats
Inline Side-by-side
calexium_lib/web/CXM_making_a_web_site.anubis
  Show/Hide comments   View file @c3a2fba
@@ -2132,10 +2132,12 @@ public define Web_Site @@ -2132,10 +2132,12 @@ public define Web_Site
2132 List(Web_arg), 2132 List(Web_arg),
2133 Bool is_https) -> (Maybe($SessionTicket), Maybe($State), List(HTTP_header)) initial_state, 2133 Bool is_https) -> (Maybe($SessionTicket), Maybe($State), List(HTTP_header)) initial_state,
2134 ($State expired, 2134 ($State expired,
  2135 + Maybe(String),
2135 HTTP_Info, 2136 HTTP_Info,
2136 List(Web_arg), 2137 List(Web_arg),
2137 Bool is_https) -> (Maybe($SessionTicket), Maybe($State), List(HTTP_header)) ticket_expired_state, 2138 Bool is_https) -> (Maybe($SessionTicket), Maybe($State), List(HTTP_header)) ticket_expired_state,
2138 - (HTTP_Info, 2139 + (Maybe(String),
  2140 + HTTP_Info,
2139 List(Web_arg), 2141 List(Web_arg),
2140 Bool is_https) -> (Maybe($SessionTicket), Maybe($State), List(HTTP_header)) ticket_lost_state, 2142 Bool is_https) -> (Maybe($SessionTicket), Maybe($State), List(HTTP_header)) ticket_lost_state,
2141 List(Web_Action($SessionTicket, $State)) actions, 2143 List(Web_Action($SessionTicket, $State)) actions,
@@ -2195,11 +2197,11 @@ public define Web_Site @@ -2195,11 +2197,11 @@ public define Web_Site
2195 { 2197 {
2196 failure then initial_state(http_info, operands, is_https), 2198 failure then initial_state(http_info, operands, is_https),
2197 success(_) then 2199 success(_) then
2198 - ticket_lost_state(http_info,operands,is_https) 2200 + ticket_lost_state(mb_action_name, http_info,operands,is_https)
2199 }, 2201 },
2200 2202
2201 out_of_date(state) then 2203 out_of_date(state) then
2202 - ticket_expired_state(state,http_info,operands,is_https), 2204 + ticket_expired_state(state, mb_action_name, http_info,operands,is_https),
2203 2205
2204 still_valid(state) then 2206 still_valid(state) then
2205 if mb_action_name is 2207 if mb_action_name is