From ec6cff7ba86c3c9f7518ddd6941570a939f80ad7 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <emery@vfemail.net>
Date: Mon, 9 Jan 2017 11:53:27 +0100
Subject: [PATCH] label timer session requests

Ref #1752
Ref #2224
---
 repos/os/include/timer_session/connection.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/repos/os/include/timer_session/connection.h b/repos/os/include/timer_session/connection.h
index a8bc810ac..7bce2ed14 100644
--- a/repos/os/include/timer_session/connection.h
+++ b/repos/os/include/timer_session/connection.h
@@ -38,9 +38,9 @@ class Timer::Connection : public Genode::Connection<Session>, public Session_cli
 		/**
 		 * Constructor
 		 */
-		Connection(Genode::Env &env)
+		Connection(Genode::Env &env, char const *label = "")
 		:
-			Genode::Connection<Session>(env, session(env.parent(), "ram_quota=8K")),
+			Genode::Connection<Session>(env, session(env.parent(), "ram_quota=8K, label=\"%s\"", label)),
 			Session_client(cap())
 		{
 			/* register default signal handler */