ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-21 22:47:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

record_play_mixer: report set version in state

Browse Source 
Give the version in the state-report only if it is set.

Issue #5174.
This commit is contained in:
Josef Söntgen 2024-04-16 15:51:38 +02:00 committed by Christian Helmuth
parent c822dc0f18
commit e0f5a2ddc5
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
repos/os/src/server/record_play_mixer/main.cc
View File

@ -122,7 +122,9 @@ struct Mixer::Main : Record_session::Operations, Play_session::Operations
void _update_state_report()
{
_state_reporter.generate([&] (Xml_generator &xml) {
xml.attribute("version", _version);
if (_version != "")
xml.attribute("version", _version);
_generate_state_report(xml);
});
}