NS_Emulation: Fix Tns-alive/Tns-test expiration detection
Change-Id: Icb7d076f57c166b498c1b3edd84edcf13ea9739d
diff --git a/library/NS_Emulation.ttcn b/library/NS_Emulation.ttcn
index 0198da8..97a48e5 100644
--- a/library/NS_Emulation.ttcn
+++ b/library/NS_Emulation.ttcn
@@ -175,19 +175,19 @@
var ASP_Event evt;
/* transition to DEAD if t_alive times out */
- [Tns_alive.running] Tns_alive.timeout {
- log("Tns-aeive expired: changing to DEAD_BLOCKED + starting Tns-test");
+ [] Tns_alive.timeout {
+ log("Tns-alive expired: changing to DEAD_BLOCKED + starting Tns-test");
f_change_state(NSE_S_DEAD_BLOCKED);
Tns_test.start;
}
- [Tns_test.running] Tns_test.timeout {
+ [] Tns_test.timeout {
log("Tns-test expired: sending NS-ALIVE");
f_sendAlive();
}
/* 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");
Tns_alive.stop;
Tns_test.start;