laforge has submitted this change. ( 
https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/20186 )

Change subject: NS_Emulation: Fix Tns-alive/Tns-test expiration detection
......................................................................

NS_Emulation: Fix Tns-alive/Tns-test expiration detection

Change-Id: Icb7d076f57c166b498c1b3edd84edcf13ea9739d
---
M library/NS_Emulation.ttcn
1 file changed, 4 insertions(+), 4 deletions(-)

Approvals:
  lynxis lazus: Looks good to me, approved
  Jenkins Builder: Verified



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;

--
To view, visit https://gerrit.osmocom.org/c/osmo-ttcn3-hacks/+/20186
To unsubscribe, or for help writing mail filters, visit 
https://gerrit.osmocom.org/settings

Gerrit-Project: osmo-ttcn3-hacks
Gerrit-Branch: master
Gerrit-Change-Id: Icb7d076f57c166b498c1b3edd84edcf13ea9739d
Gerrit-Change-Number: 20186
Gerrit-PatchSet: 2
Gerrit-Owner: laforge <[email protected]>
Gerrit-Reviewer: Jenkins Builder
Gerrit-Reviewer: laforge <[email protected]>
Gerrit-Reviewer: lynxis lazus <[email protected]>
Gerrit-MessageType: merged

Reply via email to