mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
base: only commit useful trace events
If the length of a trace event entry is zero it should be ommitted. Fixes #851.
This commit is contained in:
committed by
Norman Feske
parent
ae87f50ce3
commit
82eb5e4323
@@ -76,6 +76,10 @@ class Genode::Trace::Buffer
|
||||
|
||||
void commit(size_t len)
|
||||
{
|
||||
/* omit empty entries */
|
||||
if (len == 0)
|
||||
return;
|
||||
|
||||
_head_entry()->len = len;
|
||||
|
||||
/* advance head offset, wrap when reaching buffer boundary */
|
||||
|
||||
Reference in New Issue
Block a user