summaryrefslogtreecommitdiff
path: root/cesar/cp2/fsm
diff options
context:
space:
mode:
authorschodet2008-07-28 13:10:22 +0000
committerschodet2008-07-28 13:10:22 +0000
commit60343a0c34b26c7caaffb78d3be44b78358a0e7f (patch)
tree2df6649aa57a7f663cfc78ab6598699afce882a5 /cesar/cp2/fsm
parent8882d3b9a46972f0fddbfac5bcef7733e100731a (diff)
* cp2/fsm, cp2/sta/action:
- added branches to some leave transitions. - implemented assoc leave code. git-svn-id: svn+ssh://pessac/svn/cesar/trunk@2669 017c9cb6-072f-447c-8318-d5b54f68fe89
Diffstat (limited to 'cesar/cp2/fsm')
-rw-r--r--cesar/cp2/fsm/src/fsm/cp.fsm6
1 files changed, 4 insertions, 2 deletions
diff --git a/cesar/cp2/fsm/src/fsm/cp.fsm b/cesar/cp2/fsm/src/fsm/cp.fsm
index 390ccb9207..c74fddbfc0 100644
--- a/cesar/cp2/fsm/src/fsm/cp.fsm
+++ b/cesar/cp2/fsm/src/fsm/cp.fsm
@@ -88,12 +88,14 @@ AUTHENTICATED:
send CM_SET_KEY.CNF
to_leave -> LEAVING [cp_sta_action_assoc__authenticated__to_leave]
send CC_LEAVE.REQ
- CC_LEAVE_IND -> LEAVE_WAIT [cp_sta_action_assoc__authenticated__cc_leave_ind]
+ CC_LEAVE_IND: ok -> LEAVE_WAIT [cp_sta_action_assoc__authenticated__cc_leave_ind]
send CC_LEAVE.RSP
+ CC_LEAVE_IND: nok -> .
LEAVING:
- CC_LEAVE_CNF -> UNASSOCIATED [cp_sta_action_assoc__leaving__cc_leave_cnf]
+ CC_LEAVE_CNF: ok -> UNASSOCIATED [cp_sta_action_assoc__leaving__cc_leave_cnf]
cleanup data plane
+ CC_LEAVE_CNF: unrelated -> .
assoc_timeout -> LEAVE_WAIT [cp_sta_action_assoc__leaving__timeout]
send CC_LEAVE.REQ