No description

Gareth Rees aea2ed3811 Handle deletion of arenas and pools (they often get recreated at the same addresses so this is vital). ... Sort the events in batches so that, for example, we get PoolFinish before ArenaDestroy. Emit ArenaDestroy event after finishing all its pools. Add arena parameter to PoolFinish event. Restore top-down logging of events (no need to order them the telemetry output, since the monitor sorts them). Add comments for all the events used by the monitor. Include the arena's name in the pool's name when there are multiple arenas. Copied from Perforce Change: 194112		2018-06-23 15:37:11 +01:00
mps	Handle deletion of arenas and pools (they often get recreated at the same addresses so this is vital).	2018-06-23 15:37:11 +01:00