From e13971fcf0c83a5b30b75330afa6bb6177fd10a4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <jws@sysret.de>
Date: Sun, 22 Nov 2015 12:25:23 +0100
Subject: [PATCH] xml_generator: add attribute String<N> method

Make it possible to directly pass on a Genode::String<N> object instead
of using Genode::String<N>.string() by hand.

Fixes #1783.
---
 repos/os/include/util/xml_generator.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/repos/os/include/util/xml_generator.h b/repos/os/include/util/xml_generator.h
index d1a841874..6ff809701 100644
--- a/repos/os/include/util/xml_generator.h
+++ b/repos/os/include/util/xml_generator.h
@@ -312,6 +312,12 @@ class Genode::Xml_generator
 			_curr_node->insert_attribute(name, str);
 		}
 
+		template <size_t N>
+		void attribute(char const *name, String<N> const &str)
+		{
+			_curr_node->insert_attribute(name, str.string());
+		}
+
 		void attribute(char const *name, long value)
 		{
 			char buf[64];