ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-06-11 20:01:48 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

trace_logger: read 'buffer' as Number_of_bytes

Browse Source
This commit is contained in:
Christian Helmuth
2024-03-04 15:50:03 +01:00
parent 449a72d8a2
commit 706e341d3a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/os/src/app/trace_logger/main.cc
View File

@ -177,7 +177,7 @@ class Main
try { try {
Number_of_bytes const buffer_sz = Number_of_bytes const buffer_sz =
session_policy.attribute_value("buffer", _config.default_buf_sz); session_policy.attribute_value("buffer", Number_of_bytes(_config.default_buf_sz));
Policy_name const policy_name = Policy_name const policy_name =
session_policy.attribute_value("policy", _config.default_policy_name); session_policy.attribute_value("policy", _config.default_policy_name);