NS_Emulation: Fix Tns-alive/Tns-test expiration detection
Change-Id: Icb7d076f57c166b498c1b3edd84edcf13ea9739d
This commit is contained in:
parent
00f40e8a0d
commit
9a7c512bbd
|
@ -175,19 +175,19 @@ module NS_Emulation {
|
||||||
var ASP_Event evt;
|
var ASP_Event evt;
|
||||||
|
|
||||||
/* transition to DEAD if t_alive times out */
|
/* transition to DEAD if t_alive times out */
|
||||||
[Tns_alive.running] Tns_alive.timeout {
|
[] Tns_alive.timeout {
|
||||||
log("Tns-aeive expired: changing to DEAD_BLOCKED + starting Tns-test");
|
log("Tns-alive expired: changing to DEAD_BLOCKED + starting Tns-test");
|
||||||
f_change_state(NSE_S_DEAD_BLOCKED);
|
f_change_state(NSE_S_DEAD_BLOCKED);
|
||||||
Tns_test.start;
|
Tns_test.start;
|
||||||
}
|
}
|
||||||
|
|
||||||
[Tns_test.running] Tns_test.timeout {
|
[] Tns_test.timeout {
|
||||||
log("Tns-test expired: sending NS-ALIVE");
|
log("Tns-test expired: sending NS-ALIVE");
|
||||||
f_sendAlive();
|
f_sendAlive();
|
||||||
}
|
}
|
||||||
|
|
||||||
/* Stop t_alive when receiving ALIVE-ACK */
|
/* Stop t_alive when receiving ALIVE-ACK */
|
||||||
[] NSCP.receive(t_NS_ALIVE_ACK) {
|
[Tns_alive.running] NSCP.receive(t_NS_ALIVE_ACK) {
|
||||||
log("NS-ALIVE-ACK received: stopping Tns-alive; starting Tns-test");
|
log("NS-ALIVE-ACK received: stopping Tns-alive; starting Tns-test");
|
||||||
Tns_alive.stop;
|
Tns_alive.stop;
|
||||||
Tns_test.start;
|
Tns_test.start;
|
||||||
|
|
Loading…
Reference in New Issue