Bug fixed in AtsPki-ITSS

ttcn/Pki/LibItsPki_Functions.ttcn

@@ -172,7 +172,11 @@ module LibItsPki_Functions {
     } // End of function f_uninitialiseSecuredMode()
     
     function f_initializeState() runs on ItsPkiItss {
-      var Oct8 v_hashedId8ToBeUsed := f_setupIutCertificate(vc_hashedId8ToBeUsed);
+      var Oct8 v_hashedId8ToBeUsed;
+
+      log(">>> f_initializeState: vc_hashedId8ToBeUsed= ", vc_hashedId8ToBeUsed);
+      v_hashedId8ToBeUsed := f_setupIutCertificate(vc_hashedId8ToBeUsed);
+      log("f_initializeState: v_hashedId8ToBeUsed= ", v_hashedId8ToBeUsed);
 
       f_utInitializeIut(UtPkiInitialize: { v_hashedId8ToBeUsed } );