g_coverage_run_id is now reset after coverage collection is stopped.

jgebal · jgebal · commit df31fba9decf · 2022-02-28T01:45:42.000+02:00
diff --git a/source/core/coverage/ut_coverage.pkb b/source/core/coverage/ut_coverage.pkb
@@ -256,6 +256,7 @@ create or replace package body ut_coverage is
   begin
     if not is_develop_mode() then
       g_is_started := false;
+      g_coverage_run_id := null;
       ut_coverage_helper_block.coverage_stop();
       ut_coverage_helper_profiler.coverage_stop();
     end if;
