From d83e076f116a15dd817232472666ca8aea6e8d58 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 8 Apr 2014 17:24:37 +0200
Subject: [PATCH] terminal_session: Add label argument to connection

---
 os/include/terminal_session/connection.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/os/include/terminal_session/connection.h b/os/include/terminal_session/connection.h
index f2ce61916..727d33695 100644
--- a/os/include/terminal_session/connection.h
+++ b/os/include/terminal_session/connection.h
@@ -41,9 +41,10 @@ namespace Terminal {
 			sig_rec.dissolve(&sig_ctx);
 		}
 
-		Connection()
+		Connection(char const *label = "")
 		:
-			Genode::Connection<Session>(session("ram_quota=%zd", 2*4096)),
+			Genode::Connection<Session>(session("ram_quota=%zd, label=\"%s\"",
+			                                    2*4096, label)),
 			Session_client(cap())
 		{
 			wait_for_connection(cap());