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()) { } };