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("ram_quota=%zd", 2*4096)), + Genode::Connection(session("ram_quota=%zd, label=\"%s\"", + 2*4096, label)), Session_client(cap()) { wait_for_connection(cap());