summaryrefslogtreecommitdiffstats
path: root/library
diff options
context:
space:
mode:
Diffstat (limited to 'library')
-rw-r--r--library/NS_Emulation.ttcn8
1 files changed, 4 insertions, 4 deletions
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;