Commit 9135fc7c authored by berge's avatar berge
Browse files

Allow unexpected denm (2)

parent b439fb25

DENM/LibItsDenm_Functions.ttcn

+1 −1
Original line number Diff line number Diff line
@@ -60,7 +60,7 @@ module LibItsDenm_Functions { 
         * @desc The base default.

         */

        altstep a_default() runs on ItsFa {

        	[] camPort.receive(mw_denmInd(mw_denmPdu(mw_anyDenm))) { 

        	[] denmPort.receive(mw_denmInd(mw_denmPdu(mw_anyDenm))) { 

                log("*** a_default: INFO: DENM message received in default ***");

                vc_denmReceived := true;

                repeat;