MPS issue job003850

TitleANSI plinth doesn't flush telemetry on error
Statusclosed
Priorityoptional
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionDestroying the arena causes telemetry events to be flushed (ArenaDestroy calls EventFinish which calls EventSync) but mps_lib_assert_fail_default does not, so that programs that hit an assertion may be missing critical items of telemetry just before the assertion failure.
Analysismps_lib_assert_fail_default should call mps_telemetry_flush
How foundmanual_test
EvidenceNone.
Created byGareth Rees
Created on2014-07-01 17:22:28
Last modified byGareth Rees
Last modified on2014-07-02 10:17:07
History2014-07-01 GDR Created.

Fixes

Change Effect Date User Description
186782 closed 2014-07-02 10:17:07 Gareth Rees Flush the telemetry stream before aborting.