Commit ec4c8ae5 authored by berge's avatar berge
Browse files

Fixed bad implementation in f_utCheckEvent()

parent 4100fa91
Loading
Loading
Loading
Loading
+4 −11
Original line number Diff line number Diff line
@@ -93,27 +93,20 @@ module LibItsCommon_Functions {
                        f_selfOrClientSyncAndVerdict("error", e_error);
                    }
                }
                [] utPort.receive {
                [] utPort.receive(UtResult:false) {
                    tc_wait.stop;
                    if (p_discard == false) {
                        log("*** f_utCheckEvent: ERROR: Event not correctly indicated at application layer ***");
                        f_selfOrClientSyncAndVerdict("error", e_error);
                    }
                    else {
                        log("*** f_utCheckEvent: INFO: Another event indicated at application layer, repeating check ***");
                        tc_wait.start;
                        repeat;
                        log("*** f_utCheckEvent: INFO: Event not indicated at application layer***");
                    }
                }
                [] tc_wait.timeout {
                    if (p_discard == false) {
                    log("*** f_utCheckEvent: ERROR: Timeout while waiting for event check result ***");
                    f_selfOrClientSyncAndVerdict("error", e_timeout);                    
                }
                    else {
                        log("*** f_utCheckEvent: INFO: Event not indicated at application layer ***");
                    }
                }
                [else] { // Shortcut defaults
                    repeat; 
                }