public uint enqueue_trigger(AlarmTriggerInfo info)
{
// Reuse IDs from the associated logger object
- info.id = zavai.log.log.start("alarm");
+ info.id = zavai.log.log.start("alarm", "Alarm " + info.label);
queue.append(info);
if (queue.data.id == info.id)
triggered(queue.data);