From e0f5a2ddc5d65a2a2450d48dea24009cfa4018a6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Tue, 16 Apr 2024 15:51:38 +0200
Subject: [PATCH] record_play_mixer: report set version in state

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

Issue #5174.
---
 repos/os/src/server/record_play_mixer/main.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/repos/os/src/server/record_play_mixer/main.cc b/repos/os/src/server/record_play_mixer/main.cc
index 81abf7d093..b1015a89cd 100644
--- a/repos/os/src/server/record_play_mixer/main.cc
+++ b/repos/os/src/server/record_play_mixer/main.cc
@@ -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);
 		});
 	}