From 9a7c512bbddd853f2bcbf4de6ce528a000555205 Mon Sep 17 00:00:00 2001 From: Harald Welte Date: Mon, 14 Sep 2020 11:35:57 +0200 Subject: NS_Emulation: Fix Tns-alive/Tns-test expiration detection Change-Id: Icb7d076f57c166b498c1b3edd84edcf13ea9739d --- library/NS_Emulation.ttcn | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'library') diff --git a/library/NS_Emulation.ttcn b/library/NS_Emulation.ttcn index 0198da87..97a48e54 100644 --- a/library/NS_Emulation.ttcn +++ b/library/NS_Emulation.ttcn @@ -175,19 +175,19 @@ module NS_Emulation { 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; -- cgit v1.2.3