From d2e246d9162339ed48143487a67c674bfb2b816c Mon Sep 17 00:00:00 2001 From: Christian Prochaska Date: Wed, 24 Aug 2016 15:24:15 +0200 Subject: [PATCH] base: allow to set label in Log_connection Fixes #2074 --- repos/base/include/log_session/connection.h | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/repos/base/include/log_session/connection.h b/repos/base/include/log_session/connection.h index 7d3445007..0d05c3ec0 100644 --- a/repos/base/include/log_session/connection.h +++ b/repos/base/include/log_session/connection.h @@ -16,6 +16,7 @@ #include #include +#include namespace Genode { struct Log_connection; } @@ -25,9 +26,11 @@ struct Genode::Log_connection : Connection, Log_session_client /** * Constructor */ - Log_connection(Env &env) + Log_connection(Env &env, Session_label label = Session_label()) : - Connection(env, session(env.parent(), "ram_quota=8K")), + Connection(env, session(env.parent(), + "ram_quota=8K, label=\"%s\"", + label.string())), Log_session_client(cap()) { } @@ -38,9 +41,10 @@ struct Genode::Log_connection : Connection, Log_session_client * \deprecated Use the constructor with 'Env &' as first * argument instead */ - Log_connection() + Log_connection(Session_label label = Session_label()) : - Connection(session("ram_quota=8K")), + Connection(session("ram_quota=8K, label=\"%s\"", + label.string())), Log_session_client(cap()) { } };